Передача значения Null в конструктор

@kmet_misha · Регистрация: 26.11.2011

Студворк — интернет-сервис помощи студентам

Этот вопрос попался на тестировании

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
 
namespace MyConsoleApp
{
    class Program
    {
        static void Main(string[] args)
        {
            D myD = new D(null);
            Console.ReadLine();           
        }
        
    }
    
    public class D
    {
        public D(object o)
        {
            Console.WriteLine("Object");
        }
        public D(double[] array)
        {
            Console.WriteLine("Array");
        }
        public D(int i)
        {
            Console.WriteLine("Int");
        }
    }
}

Не могу разобраться почему выполняеться конструктор с параметром Double[] ?

@insite2012 · 08.02.2014, 01:32

Думаю, потому что берется первый же конструктор с параметром ссылочного типа. Сделайте double обычным параметром, а int массивом, и ситуация поменяется. Причина Вашего эффекта, думаю именно в этом - первый конструктор со ссылочным параметром, т.к. null является значением по умолчанию для переменных типа ссылок.

@kmet_misha · 08.02.2014, 01:35 **[ТС]**

Сообщение от insite2012

Думаю, потому что берется первый же конструктор с параметром ссылочного типа. Сделайте double обычным параметром, а int массивом, и ситуация поменяется. Причина Вашего эффекта, думаю именно в этом - первый конструктор со ссылочным параметром, т.к. null является значением по умолчанию для переменных типа ссылок.

Тогда почему не object? это же тоже ссылочный тип?

@titavich · 08.02.2014, 01:39

Сообщение от insite2012

Сделайте double обычным параметром, а int массивом, и ситуация поменяется.

сделайте int nullable(int?) ну или массивом, а массив double[] не трогайте - не скомпилится вообще, т.к. компилятор не будет знать какой конструктор вызывать - значит ответ в другом

@insite2012 · 08.02.2014, 02:17

Object, насколько я знаю, не обязательно ссылочный тип. Это базовый тип, от которого наследуются все остальные.
И все-таки тут дело именно в том, что берется первым конструктор со ссылочным параметром. И да, я пробовал, когда 2 ссылочных параметра, не компилируется. Так это, я думаю, и было заложено разработчиками, получается 2 конструктора с параметром, допускающем null, и программа не знает какой вызывать первым. Чем еще объяснить, что когда double становится типом значений, а int - ссылочным типом, берется конструктор опять-таки со ссылочным параметром?

@dirtez0 · 08.02.2014, 07:36

Объяснили поведение, если оно конечно верно.

C#
1
2
3
4
5
class A
{
    public A(First param) {}
    public A(Second param) {}
}

1. Если First может быть неявно преобразован в Second, а Second в First не может, вызывается A(First p)
2. Если Second может быть неявно преобразован в First, а First в Second не может, вызывается A(Second p)
3. Если First может быть неявно преобразован в Second, а Second неявно в First, возникает неоднозначность.

Следовательно: double[] может быть преобразован в object, а object в double[] нет. Вот и вызывается D(double[] array)

@IamRain · 08.02.2014, 07:55

dirtez0, иными словами, если параметры находятся в одной иерархии, то при передаче null в конструктор компилятор будет считать его производным типом?

Psilon · 08.02.2014, 09:08

IamRain, вызывается более специальный метод, вот и все. Если есть 2 подходящих метода, но один из них принимает параметр более узкого типа, то компилятор предпочтет его. Ну а любой тип уже чем object.

Сообщение от insite2012

Object, насколько я знаю, не обязательно ссылочный тип. Это базовый тип, от которого наследуются все остальные.

object это обязательно ссылочный тип. Как тип может быть необязательно ссылочным в супер-строгом шарпе?

Добавлено через 51 секунду
немного инфы:
http://habrahabr.ru/post/149287/

Добавлено через 2 минуты
Кстати насчет интересных вопросов, можете подумать над этими:

Кликните здесь для просмотра всего текста

Вопрос 1: Вызов какого конструктора вы можете использовать, чтобы данный код распечатал True (в реализации .NET от Microsoft)

C#
1
2
3
object x = new /* fill in code here */;
object y = new /* fill in code here */;
Console.WriteLine(x == y);

Помните, что это просто вызов конструктора и вы не можете поменять тип переменных.

Вопрос 2: Как вы можете заставить это код скомпилироваться, так что он вызывает три различные перегрузки метода?

C#
1
2
3
4
5
6
void Foo()
  {
     EvilMethod<string>();
     EvilMethod<int>();
     EvilMethod<int?>();
  }

Вопрос 3: Используя локальную переменную, как вы можете уронить этот код во 2-ой строчке?

C#
1
2
string text = x.ToString(); // No exception
Type type = x.GetType(); // Bang!

Кликните здесь для просмотра всего текста

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

кто готов проверить свои силы?

@kolorotur · 08.02.2014, 11:25

Сообщение от Psilon

Вопрос 1: Вызов какого конструктора вы можете использовать, чтобы данный код распечатал True (в реализации .NET от Microsoft)

Конструктор Nullable<T> или новую строку, которая на выходе создается пустой (char[0] или char[] = null).

Сообщение от Psilon

Вопрос 2: Как вы можете заставить это код скомпилироваться, так что он вызывает три различные перегрузки метода?

Не совсем понятно в чем сложность.

C#
1
void EvilMethod<T>() {}

Под каждый вызов компилятор сам сделает нужную перегрузку.

Сообщение от Psilon

Вопрос 3: Используя локальную переменную, как вы можете уронить этот код во 2-ой строчке?

Вроде как с Nullable должно прокатить, если там значение не присвоено, но не уверен.

Встречный вопрос: на кой лях разработчику знать такие дремучие детали реализации?

Psilon · 08.02.2014, 13:37

kolorotur, а что, совсем неинтересно?

Первое - верно
Второе - При вызове метода Foo() должны вызываться три разных перегрузки метода (не один и тот же метод с разным параметров T, а три _разных_ метода, возможно в разных файлах, что-то вроде

C#
1
2
3
4
5
6
7
8
9
10
void EvilMethod<T>() 
{
   var type = typeof(T)
   if (type == typeof(string))
      Meth1();
   else if (type == typeof(int))
      Meth2();
   else if(type == typeof(int?))
      Meth3();
}

только чтобы компилятор сам разрешил это, без if else

3. Нет

@kolorotur · 08.02.2014, 18:53

Сообщение от Psilon

а что, совсем неинтересно?

Интересно конечно!
Но я так понял, это вопросы для собеседования, потому удивился. Ошибаюсь?

По поводу второго так и не пойму что нужно. Ну если они в разных классах, то перед вызовом будет стоять префикс класса. Если просто в разных файлах (partial), то три метода с одинаковой сигнатурой (EvilMethod<T>) компилятор не позволит сделать.

Сообщение от Psilon

3. Нет

C#
1
2
3
var x = new Nullable<int>();
string s = x.ToString();
Type type = x.GetType();

Вроде на третьей строчке и падает.
Или я не так задание понял?

Psilon · 08.02.2014, 18:55

kolorotur, да, верно

Нет, это не вопросы на собеседовании, а просто интересные дружеские задачки (потом скажу, откуда).

На все задачи решения есть, в том числе на вторую.

@kolorotur · 08.02.2014, 18:58

Сообщение от Psilon

Нет, это не вопросы на собеседовании, а просто интересные дружеские задачки

А, ну тогда нормуль

Сообщение от Psilon

в том числе на вторую.

Решение не нужно, но вот в общих чертах понять, что требуется, — хотелось бы.
А то для меня ответ очевиден (обобщенный метод, перегрузки компилятором создаются), но это, видать, не то, что от меня хотят

Psilon · 08.02.2014, 19:01

kolorotur, смысл в том, чтобы было при использовании трех разных типов компилятор решил бы вызвать разные перегрузки метода. То есть разные методы с одним именем.

Psilon · 11.04.2015, 13:39

Ответ на примеры выше

@Zodt · 23.08.2018, 09:48

Сообщение от kmet_misha

Не могу разобраться почему выполняется конструктор с параметром Double[] ?

kmet_misha, начнем с того, что null могут принимать только ссылочные типы. В данному случае у нас 2 перегрузки конструктора имеют ссылочный входной тип - object и double[] (тк double[] это массив, а массивы ссылочные).
Теперь же рассмотрим почему выбирается double[], а не object, который на первый взгляд и должен вызываться. Фишка в том, что компилятор выбирает перегрузку с более конкретным типом, и любой тип, в данном случае ссылочный, будет предпочтительнее базового (object ).

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .	SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .
SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .	SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .

@insite2012 5548 / 4311 / 1218 Регистрация: 12.10.2013 Сообщений: 12,371 Записей в блоге: 2
	08.02.2014, 01:32
	Думаю, потому что берется первый же конструктор с параметром ссылочного типа. Сделайте double обычным параметром, а int массивом, и ситуация поменяется. Причина Вашего эффекта, думаю именно в этом - первый конструктор со ссылочным параметром, т.к. null является значением по умолчанию для переменных типа ссылок. 0

@insite2012 5548 / 4311 / 1218 Регистрация: 12.10.2013 Сообщений: 12,371 Записей в блоге: 2
	08.02.2014, 02:17
	Object, насколько я знаю, не обязательно ссылочный тип. Это базовый тип, от которого наследуются все остальные. И все-таки тут дело именно в том, что берется первым конструктор со ссылочным параметром. И да, я пробовал, когда 2 ссылочных параметра, не компилируется. Так это, я думаю, и было заложено разработчиками, получается 2 конструктора с параметром, допускающем null, и программа не знает какой вызывать первым. Чем еще объяснить, что когда double становится типом значений, а int - ссылочным типом, берется конструктор опять-таки со ссылочным параметром? 0

@IamRain 4694 / 2702 / 734 Регистрация: 02.08.2011 Сообщений: 7,228
	08.02.2014, 07:55
	dirtez0, иными словами, если параметры находятся в одной иерархии, то при передаче null в конструктор компилятор будет считать его производным типом? 0

Psilon Master of Orion 6102 / 4958 / 905 Регистрация: 10.07.2011 Сообщений: 14,522 Записей в блоге: 5
	08.02.2014, 18:55
	kolorotur, да, верно Нет, это не вопросы на собеседовании, а просто интересные дружеские задачки (потом скажу, откуда). На все задачи решения есть, в том числе на вторую. 0

Psilon Master of Orion 6102 / 4958 / 905 Регистрация: 10.07.2011 Сообщений: 14,522 Записей в блоге: 5
	08.02.2014, 19:01
	kolorotur, смысл в том, чтобы было при использовании трех разных типов компилятор решил бы вызвать разные перегрузки метода. То есть разные методы с одним именем. 0

Psilon Master of Orion 6102 / 4958 / 905 Регистрация: 10.07.2011 Сообщений: 14,522 Записей в блоге: 5
	11.04.2015, 13:39
	Ответ на примеры выше 1