Строго типизированные значения в рамке в .NET

В этом не было бы смысла. Вы бы никогда не использовали BoxedInt32 напрямую, поскольку, если бы вы знали тип заранее, было бы разумно использовать int вместо поля. Итак, единственный интересный случай: когда мы не знаем тип заранее, т.е. когда имеем дело с object. Что ж, упаковка типа значения уже отлично справляется с этим, сообщая тип как Int32.

Причина, по которой в Java существуют специальные коробочные версии, отчасти заключается в том, что дженерики Java работают совершенно по-разному посредством стирания типов; однако в .NET есть настоящие дженерики, в том числе для типов значений, поэтому в этом нет необходимости.

Вы можете сделать коробку своими руками:

public class Box<T> where T : struct {
    private readonly T value:
    public Box(T value) { this.value = value; }
    public T Value { get { return value; } }
}

(возможно, добавив больше функций, таких как преобразования/равенство): но - опять же: нет никакого смысла. Обычный встроенный бокс уже справляется с этим намного лучше.

Корень вашей проблемы кажется непониманием того, как работает кастинг и для чего он нужен:

(потому что приведение должно либо преобразовать значение в другой тип... либо преобразовать указатель интерфейса в родителя)

Все, что происходит, когда вы приводите одно к другому, это говорит компилятору: «Пожалуйста, обработайте этот случайный набор битов немного по-другому». Биты вообще не должны преобразовываться или модифицироваться. C# и Java в целях безопасности выполняют проверку типов, но это не главное в самой операции приведения типов.

Бессмысленно рассматривать набор битов, представляющих int32, как что-то еще (например, ссылку на объект), поэтому система Boxing работает за вашей спиной и создает для вас оболочку. Он по-прежнему следует правилам приведения — теперь компилятор может рассматривать эту оболочку бокса как ссылку на объект, и исходные биты не изменяются.

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

Опять же, это основано на неверном предположении. В соответствии с приведенным выше объяснением приведение типов «сохраняет данные типа» в силу того факта, что оно не изменяет значение, а просто изменяет способ интерпретации этих данных компилятором. Обертки, сгенерированные боксом, по-прежнему имеют доступ к базовым данным. Вы можете вызвать .GetType() для упакованного int, и он с радостью сообщит, что это Int32. Ваш класс BoxedInt32 просто тратит время и место на хранение уже доступных данных.

**Примечание. Иногда код, который выглядит как приведение в C#, на самом деле преобразует данные путем вызова оператора неявного преобразования. Это не кастинг, это просто притворство, так что правила не действуют.

Может быть, это было бы удобно для этого случая:

var myDictionary = new Dictionary<int, bool>();

// So we could use a BoxedBool here and modify the
// value set below.
//var myDictionary = new Dictionary<int, BoxedBool>();

myDictionary.Add(1, true);
myDictionary.Add(2, false);

foreach (var key in myDictionary.Keys)
{
    myDictionary[key] = false;
    // Cannot do this as it modified the collection.
    // If it was a reference type, this would not be a problem?
}