Почему новый тип кортежа in.Net 4.0 ссылочный тип (класс), а не тип значения (структура)

причина, скорее всего, потому, что только меньшие Кортежи будут иметь смысл как типы значений, так как они будут иметь небольшой объем памяти. Более крупные кортежи (т. е. те, у которых больше свойств) фактически пострадают в производительности, так как они будут больше 16 байт.

вместо того, чтобы некоторые кортежи были типами значений, а другие-ссылочными типами и заставляли разработчиков знать, какие из них я бы предположил, что люди в Microsoft думали, что они все ссылочные типы было проще.

Ах, подозрения подтвердились! Пожалуйста, смотрите Дом Кортежа!--6-->:

первое важное решение, был ли для обработки кортежей либо в качестве ссылки или тип значения. Так как они неизменный в любое время вы хотите изменить значения кортежа, вы должны создайте новый. Если они ссылочные типы, это означает, что может будет много мусора генерируется, если вы меняем элементы в кортеже в a тугая петля. F# кортежи были ссылка типа, но было ощущение от команда, которую они могли бы реализовать повышение производительности, если два, и возможно, три, элемент кортежи были вместо этого используются типы значений. Некоторые команды, которые создал внутренние кортежи использовал значение вместо ссылочных типов, потому что их сценарии были очень чувствительный к созданию большого количества управляемых объекты. Они обнаружили, что с помощью значения тип дал им лучшую производительность. В наш первый проект кортежа спецификация, мы держали 2-, трех - и четырехэлементные кортежи в виде типы значений, а остальные - ссылочный тип. Однако, во время встреча по дизайну, которая включала представители других языков было решено, что это " раскол" дизайн будет запутанным, из-за немного отличается семантика между два типа. Последовательность в поведении и дизайн был определен, чтобы быть более высокий приоритет, чем потенциал прирост производительности. Исходя из этого входной сигнал, мы изменили конструкцию так, что все Кортежи ссылочный тип, хотя мы попросили команду F# сделать некоторые исследования, чтобы найти если он испытал ускорение при использовании тип значения для некоторых размеров кортежей. Это был хороший способ проверить это, так как его компилятор, написанный на F#, был a хороший пример большой программы, которая используются кортежи в различных сценариях. В конце концов, команда F# обнаружила, что это не получил улучшения производительности когда некоторые кортежи были типами значений вместо ссылочных типов. Это сделано нам чувствовать себя лучше о нашем решении используйте ссылочные типы для кортежа.

Если .NET

для 2-кортежей по-прежнему всегда можно использовать KeyValuePair из более ранних версий общей системы типов. Это тип значения.

небольшое уточнение к статье Мэтта Эллиса будет заключаться в том, что разница в семантике использования между ссылочными и ценностными типами только "незначительна", когда действует неизменность (что, конечно же, будет иметь место здесь). Тем не менее, я думаю, что было бы лучше в дизайне BCL не вводить путаницу наличия кортежа переход к ссылочному типу на некотором пороге.

Я не знаю, но если вы когда-либо использовали F# кортежи являются частью языка. Если бы я сделал .dll и вернул тип кортежей было бы неплохо иметь тип, чтобы положить это. Теперь я подозреваю, что F# является частью языка (.Net 4) некоторые изменения в CLR были сделаны для размещения некоторых общих структур в F#

от http://en.wikibooks.org/wiki/F_Sharp_Programming/Tuples_and_Records

let scalarMultiply (s : float) (a, b, c) = (a * s, b * s, c * s);;

val scalarMultiply : float -> float * float * float -> float * float * float

scalarMultiply 5.0 (6.0, 10.0, 20.0);;
val it : float * float * float = (30.0, 50.0, 100.0)