Возможный дубликат:
Безопасно ли для структур создавать интерфейсы?
Возьмите этот код:
interface ISomeInterface
{
public int SomeProperty { get; }
}
struct SomeStruct : ISomeInterface
{
int someValue;
public int SomeProperty { get { return someValue; } }
public SomeStruct(int value)
{
someValue = value;
}
}
а затем я делаю это где-то:
ISomeInterface someVariable = new SomeStruct(2);
является SomeStruct в этом случае?
Да, это так. В принципе, всякий раз, когда вам нужна ссылка, и у вас есть значение типа значения, значение помещается в квадрат.
Здесь ISomeInterface - это интерфейс, который является ссылочным типом. Поэтому значение someVariable всегда является ссылкой, поэтому вновь созданное значение структуры должно быть помещено в коробку.
Точка Джона - это правда, но в качестве побочного примечания есть одно небольшое исключение из правила; дженерики. Если у вас where T : ISomeInterface, то это ограничение и использует специальный код операции . Это означает, что интерфейс можно использовать без бокса. Например:
public static void Foo<T>(T obj) where T : ISomeInterface {
obj.Bar(); // Bar defined on ISomeInterface
}
Это не касается бокса, даже для типа значения T. Однако, если (в том же Foo) вы выполните:
ISomeInterface asInterface = obj;
asInterface.Bar();
тогда это поля как и раньше. Ограниченный только применяется непосредственно к T.
Я добавляю это, надеюсь, пролить немного больше света на ответы, предложенные Джоном и Марком.
Рассмотрим этот не общий метод:
public static void SetToNull(ref ISomeInterface obj) {
obj = null;
}
Hmm... установка параметра ref в значение null. Это возможно только для ссылочного типа, правильно? (Ну, или для Nullable<T>, но не будем игнорировать этот случай, чтобы все было просто.) Таким образом, тот факт, что этот метод компилируется, говорит нам о том, что переменная, объявленная как некоторый тип интерфейса, должна рассматриваться как ссылочный тип.
Ключевая фраза здесь "объявлена как": рассмотрите эту попытку вызвать вышеупомянутый метод:
var x = new SomeStruct();
// This line does not compile:
// "Cannot convert from ref SomeStruct to ref ISomeInterface" --
// since x is declared to be of type SomeStruct, it cannot be passed
// to a method that wants a parameter of type ref ISomeInterface.
SetToNull(ref x);
Конечно, причина, по которой вы не можете передать x в приведенном выше коде на SetToNull, состоит в том, что x нужно объявить как ISomeInterface, чтобы вы могли пройти ref x - и не, потому что компилятор волшебно знает, что SetToNull включает в себя строку obj = null. Но таким образом, который только усиливает мою точку: строка obj = null является законной именно потому, что было бы незаконным передавать переменную, не объявленную как ISomeInterface для метода.
Другими словами, если переменная объявлена как ISomeInterface, ее можно установить равной нулю, чистой и простой. И это потому, что интерфейсы являются ссылочными типами - следовательно, объявляя объект как интерфейс и присваивая ему полям объектов типа значения, которые имеют значение.
Теперь, с другой стороны, рассмотрим этот гипотетический общий метод:
// This method does not compile:
// "Cannot convert null to type parameter 'T' because it could be
// a non-nullable value type. Consider using 'default(T)' instead." --
// since this method could take a variable declared as, e.g., a SomeStruct,
// the compiler cannot assume a null assignment is legal.
public static void SetToNull<T>(ref T obj) where T : ISomeInterface {
obj = null;
}
документация MSDN сообщает нам, что structs являются значениями, а не ссылочными типами. Они помещаются в коробку при преобразовании в/из переменной типа object. Но главный вопрос здесь: как насчет переменной типа интерфейса? Так как интерфейс также может быть реализован классом, то это должно быть равносильно преобразованию из значения в ссылочный тип, как уже сказал Джон Скит, поэтому да, будет бокс. Больше обсуждений в блоге msdn.