Возврат существующего экземпляра из конструктора

[Qwertiy]

По идее, конструктор должен создавать новый объект, однако, исходя из

Код: Выделить всё

Module All
  Sub Main()
    Console.WriteLine(Object.ReferenceEquals("", New String("a"c, 0)))
    Console.ReadKey()
  End Sub
End Module

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

PS: Вопрос скорее из любопытства.

[ark]

Хм, видимо есть более, а есть менее "существующие сущности"
Console.WriteLine(Object.ReferenceEquals(Date.MinValue, New Date(0))) - работает

[Qwertiy]

С value-типами всегда false. Даже так:

Код: Выделить всё

  Dim X As Integer = 0
  Console.WriteLine(Object.ReferenceEquals(X, X))

[FireFenix]

Я наверное слижком глуп, но зачем в конструкторе подменять объект? не проще сразу в логике Obj1 = Obj2?
И какой результат вы ожидали от выше приведённого модуля и Object.ReferenceEquals? По идеологии VB.NET все объекты передаются по ссылке и наверняка эта функця просто развёрнутый аналог "сахара".

[Qwertiy]

Я наверное слижком глуп, но зачем в конструкторе подменять объект?

Я же написал, что вопрос теоретический

И какой результат вы ожидали от выше приведённого модуля и Object.ReferenceEquals?

Что New создаёт новый объект, который не может совпадать с уже существующей пустой строкой. А он совпадает, т. е. New возвращает уже существующий объект. Поэтому и возник вопрос, можно ли такое как-то реализовать

[Dmitriy2003]

С value-типами всегда false. Даже так:

Код: Выделить всё

  Dim X As Integer = 0
  Console.WriteLine(Object.ReferenceEquals(X, X))

Однако обратите внимание, что если objA и objB являются типами значений, они упакованы до того, как они передаются методу ReferenceEquals

Код: Выделить всё

  Console.WriteLine(Object.ReferenceEquals("", New String("a"c, 0)))

Код: Выделить всё

Console.WriteLine(Object.ReferenceEquals(new string('a',0), new string('b',0))); TRUE
Console.WriteLine(Object.ReferenceEquals(new string('a',1), new string('b',1))); FALSE

и это правильно....чего-то другого ожидать?

[Qwertiy]

и это правильно....чего-то другого ожидать?

Я уже написал чего. Ты понимаешь что такое ReferenceEquals?

Код: Выделить всё

Console.WriteLine(Object.ReferenceEquals(new string('a',0), new string('b',0))); TRUE
Console.WriteLine(Object.ReferenceEquals(new string('a',1), new string('b',1))); FALSE

и это правильно

Console.WriteLine(Object.ReferenceEquals(new string('a',1), new string('a',1))); // False - вот это правильно!

MSDN писал(а):

Это был ответ ark'у на пример с Date. И так очевидно.

[Dmitriy2003]

Я уже написал чего. Ты понимаешь что такое ReferenceEquals?

Я то понимаю. А вот судя по твоим постам ты нет

Console.WriteLine(Object.ReferenceEquals(new string('a',1), new string('a',1))); // False - вот это правильно!

ну да и тут два разных обьекта и они не равны NULL

[Qwertiy]

ну да и тут два разных обьекта и они не равны NULL

Какой ещё null? Пустая строка ему не равна. Проверь, если не веришь.

[Dmitriy2003]

ну да и тут два разных обьекта и они не равны NULL

Какой ещё null? Пустая строка ему не равна. Проверь, если не веришь.

Куда то тебя понесло не в ту сторону.

Object.ReferenceEquals Method
Return Value: true if objA is the same instance as objB or if both are null references; otherwise, false.
String - конструктор (Char, Int32)
Заметки: Если значение параметра count равно нулю, инициализируется экземпляр Empty.
Empty: Представляет пустую строку. Это поле доступно только для чтения.

[Qwertiy]

Заметки: Если значение параметра count равно нулю, инициализируется экземпляр Empty.

Ну так я про это и говорю. New возвращает уже существующий объект, пустую строку, на которую и ссылается String.Empty.

[ark]

Это был ответ ark'у на пример с Date

New возвращает уже существующий объект, пустую строку, на которую и ссылается String.Empty

Вот и я сперва предположил, что если создаваемый объект совпадает с какой-то из имеющихся констант (String.Empty, Date.MinValue и т.п.), то конструктор возвращает именно эту константу. Однако в случае с Date это не так.

[Qwertiy]

Вот и я сперва предположил, что если создаваемый объект совпадает с какой-то из имеющихся констант (String.Empty, Date.MinValue и т.п.), то конструктор возвращает именно эту константу. Однако в случае с Date это не так.

Во-первых, Date - это value-тип. Во-вторых, String.Empty - это не константа, как и Date.MinValue. А в-третьих, мне не известно других ситуаций, где бы мог возвращаться существующий объект.

[Qwertiy]

Заметки: Если значение параметра count равно нулю, инициализируется экземпляр Empty.

Вот именно, String.Empty, а не ""...
Проверяется так:

Код: Выделить всё

    GetType(String).GetField("Empty", Reflection.BindingFlags.Public Or Reflection.BindingFlags.Static).SetValue(Nothing, "It was an empty string")
    Console.WriteLine(New String("a"c, 0))
    Console.WriteLine(New Text.StringBuilder())

[ark]

Во-первых, Date - это value-тип

Хорошо, так устроит?New Date?(Nothing)

Во-вторых, String.Empty - это не константа, как и Date.MinValue

Не в терминологии дело. Ну, пусть будут "заранее инициализированные ReadOnly свойства" - что это меняет.

[Qwertiy]

Хорошо, так устроит? New Date?(Nothing)

Date? - тоже value-тип

Не в терминологии дело. Ну, пусть будут "заранее инициализированные ReadOnly свойства" - что это меняет.

Что это меняет я написал постом выше
Да, это не свойство а поле.
А вообще, константы подставляются при компиляции, а значения свойств и полей - при выполнении.

[ark]

Date? - тоже value

И какой же value у Nothing?
Date? - Nullable тип, с помощью которого value превращается в элегантные шорты reference

[Qwertiy]

Date? - тоже value

И какой же value у Nothing?
Date? - Nullable тип, с помощью которого value превращается в элегантные шорты reference

Ага, конечно Проверь. И посмотри его декларацию.

Код: Выделить всё

? GetType(Integer?).IsByRef
False
? GetType(Integer?).IsClass
False
? GetType(Integer?).IsMarshalByRef
False
? GetType(Integer?).IsValueType
True

[Dmitriy2003]

Вот именно, String.Empty, а не ""...

The static member is always accessed by the class name, not the instance name. Only one copy of a static member exists, regardless of how many instances of the class are created.

[Qwertiy]

The static member is always accessed by the class name, not the instance name. Only one copy of a static member exists, regardless of how many instances of the class are created.

Это вообще к чему?

[ark]

Ага, конечно Проверь. И посмотри его декларацию.

Каюсь, ошибался. Мне казалось, Nullable логичнее сделать классом, а не структурой.

Это вообще к чему?

Мне сдаётся, к тому, что String.Empty всегда имеет один и тот же референс. Кстати:

Код: Выделить всё

GetType(String).GetField("Empty", Reflection.BindingFlags.Public Or Reflection.BindingFlags.Static).SetValue(Nothing, "It was an empty string")
Console.WriteLine(Object.ReferenceEquals("", New String("a"c, 0)))
Console.WriteLine(Object.ReferenceEquals(String.Empty, New String("a"c, 0)))

False
True

[Qwertiy]

Мне казалось, Nullable логичнее сделать классом, а не структурой.

Аккуратнее с такими фразами... Только generic nullable структура, просто Nullable - класс:

Код: Выделить всё

  Public Sub Main()
    Console.WriteLine(GetType(Nullable).IsClass) ' True
    Console.WriteLine(GetType(Nullable(Of Integer)).IsClass) ' False
    Console.ReadKey()
  End Sub

Мне сдаётся, к тому, что String.Empty всегда имеет один и тот же референс. Кстати:

Это как раз подтверждает, что конструктор возвращает значение String.Empty, а не константу "".

Код: Выделить всё

  Private Function UseEmpty(ByVal Str As String) As String
    Return If(String.IsNullOrEmpty(Str), String.Empty, Str)
  End Function

  Private Function UseReallyEmpty(ByVal Str As String) As String
    Return If(String.IsNullOrEmpty(Str), "", Str)
  End Function

  Public Sub Main()
    Dim A As String = Nothing

    Console.WriteLine("UseEmpty: {0}", UseEmpty(A))
    Console.WriteLine("UseReallyEmpty: {0}", UseEmpty(A))

    GetType(String).GetField("Empty").SetValue(Nothing, "It was an empty string")

    Console.WriteLine("UseEmpty: {0}", UseEmpty(A))
    Console.WriteLine("UseReallyEmpty: {0}", UseReallyEmpty(A))

    Console.WriteLine(String.IsNullOrEmpty(String.Empty))
    Console.WriteLine(String.IsNullOrEmpty(""))

    Console.ReadKey()
  End Sub

Output:

Код: Выделить всё

UseEmpty:
UseReallyEmpty:
It was an empty stringUseEmpty: It was an empty string
It was an empty stringUseReallyEmpty:
False
True


Обращаю внимание, что Console.WriteLine использует StringBuilder, поэтому значение String.Empty появляется перед выводом. А вот String.IsNullOrEmpty делает правильную проверку - изменённое значение String.Empty пустой строкой не является.

[ark]

Это как раз подтверждает, что конструктор возвращает значение String.Empty, а не константу "".

http://blogs.msdn.com/b/ericlippert/archive/2009/09/28/string-interning-and-string-empty.aspx
Как следствие:

Код: Выделить всё

GetType(String).GetField("Empty", Reflection.BindingFlags.Public Or Reflection.BindingFlags.Static).SetValue(Nothing, "It was an empty string")
Console.WriteLine(Object.ReferenceEquals("It was an empty string", String.Empty))
Console.WriteLine(Object.ReferenceEquals("It was an empty string", New String("a"c, 0)))

(True,True)