Разрешение перегрузки C++ [дубликат]

Когда вы объявляете ссылочную переменную (т. е. объект), вы действительно создаете указатель на объект. Рассмотрим следующий код, в котором вы объявляете переменную примитивного типа int:

int x;
x = 10;

В этом примере переменная x является int, и Java инициализирует ее для 0. Когда вы назначаете его 10 во второй строке, ваше значение 10 записывается в ячейку памяти, на которую указывает x.

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

Integer num;
num = new Integer(10);

Первая строка объявляет переменную с именем num, но она не содержит примитивного значения. Вместо этого он содержит указатель (потому что тип Integer является ссылочным типом). Поскольку вы еще не указали, что указать на Java, он устанавливает значение null, что означает «Я ничего не указываю».

Во второй строке ключевое слово new используется для создания экземпляра (или создания ) объекту типа Integer и переменной указателя num присваивается этот объект. Теперь вы можете ссылаться на объект, используя оператор разыменования . (точка).

Exception, о котором вы просили, возникает, когда вы объявляете переменную, но не создавали объект. Если вы попытаетесь разыменовать num. Перед созданием объекта вы получите NullPointerException. В самых тривиальных случаях компилятор поймает проблему и сообщит вам, что «num не может быть инициализирован», но иногда вы пишете код, который непосредственно не создает объект.

Например, вы можете имеют следующий метод:

public void doSomething(SomeObject obj) {
   //do something to obj
}

В этом случае вы не создаете объект obj, скорее предполагая, что он был создан до вызова метода doSomething. К сожалению, этот метод можно вызвать следующим образом:

doSomething(null);

В этом случае obj имеет значение null. Если метод предназначен для того, чтобы что-то сделать для переданного объекта, целесообразно бросить NullPointerException, потому что это ошибка программиста, и программисту понадобится эта информация для целей отладки.

Альтернативно, там могут быть случаи, когда цель метода заключается не только в том, чтобы работать с переданным в объекте, и поэтому нулевой параметр может быть приемлемым. В этом случае вам нужно будет проверить нулевой параметр и вести себя по-другому. Вы также должны объяснить это в документации. Например, doSomething может быть записано как:

/**
  * @param obj An optional foo for ____. May be null, in which case 
  *  the result will be ____.
  */
public void doSomething(SomeObject obj) {
    if(obj != null) {
       //do something
    } else {
       //do something else
    }
}

Наконец, Как определить исключение & amp; причина использования Трассировки стека

36
задан Peter Mortensen 23 January 2010 в 18:22
поделиться

9 ответов

Два “overloads” не находятся в том же объеме. По умолчанию компилятор только рассматривает самый маленький объем имени, пока это не находит соответствие имени. Аргумент, соответствующий, сделан впоследствии . В Вашем случае это означает, что компилятор видит B::DoSomething. Это тогда пытается соответствовать списку аргументов, который перестал работать.

Одним решением была бы к выпадающему перегрузка от A в B объем:

class B : public A {
public:
    using A::DoSomething;
    // …
}
41
ответ дан Konrad Rudolph 27 November 2019 в 05:42
поделиться

Разрешение перегрузки является одной из самых ужасных частей C++

В основном, компилятор находит соответствие имени "DoSomething (интервал)" в пределах B, видит, что параметры не соответствуют, и остановки с ошибкой.

Это может быть преодолено при помощи A:: DoSomething в классе B

class A  
{  
  public:  
    int DoSomething() {return 0;}
};  

class B : public A  
{  
  public:  
    using A::DoSomething;
    int DoSomething(int x) {return 1;} 
};   


int main(int argc, char** argv)
{
  B* b = new B();  
  // b->A::DoSomething();    // still works, but...
  b->DoSomething();    // works now too
  delete b;  
  return 0;
}
14
ответ дан Pieter 27 November 2019 в 05:42
поделиться

Нет, это поведение присутствует, чтобы гарантировать, чтобы Вы не получали ловившее наследование от удаленных базовых классов по ошибке.

Для обхождения его необходимо сказать компилятор, какой метод Вы хотите назвать путем размещения использования A:: DoSomething в классе B.

См. эта статья для быстрого и легкого обзора этого поведения.

5
ответ дан Lehane 27 November 2019 в 05:42
поделиться

Присутствие метода в производном классе скрывает все методы с тем же именем (независимо от параметров) в базовых классах. Это сделано для предотвращения проблем как это:

class A {} ;
class B :public A
{
    void DoSomething(long) {...}
}

B b;
b.DoSomething(1);     // calls B::DoSomething((long)1));

, чем позже кто-то изменяет класс A:

class A
{
    void DoSomething(int ) {...}
}

теперь внезапно:

B b;
b.DoSomething(1);     // calls A::DoSomething(1);

, Другими словами, если это не работало как это, несвязанное изменение в классе, Вы не управляете (A), мог тихо влиять, как Ваш код работает.

5
ответ дан James Curran 27 November 2019 в 05:42
поделиться

Это имеет некоторое отношение к способу, которым работает определение имен. В основном мы сначала находим объем, от которого происходит название, и затем мы собираем все перегрузки для того имени в том объеме. Однако объемом в Вашем случае является класс B, и в классе B, B:: DoSomething скрывается А:: DOSomething:

3.3.7 [basic.scope.hiding]

сокрытия Имени... [надрез]...

3 В определении функции членства, объявление локального имени скрывает объявление члена класса с тем же именем; см. basic.scope.class. Объявление участника в производном классе ( class.derived) скрывает объявление члена базового класса того же имени; см. class.member.lookup.

из-за сокрытия имени, A:: DoSomething даже не рассматривают для разрешения перегрузки

3
ответ дан 27 November 2019 в 05:42
поделиться

При определении функции в производном классе тогда, это скрывает все функции с тем именем в базовом классе. Если функция базового класса является виртуальной и имеет совместимую подпись тогда, функция производного класса также переопределяет функцию базового класса. Однако это не влияет на видимость.

можно сделать функцию базового класса видимой с объявлением использования:

class B : public A  
{  
  public:  
    int DoSomething(int x) {return 1;};  
    using A::DoSomething;
};  
2
ответ дан Anthony Williams 27 November 2019 в 05:42
поделиться

Это не перегружается! Это СКРЫВАЕТСЯ!

2
ответ дан Peter Mortensen 27 November 2019 в 05:42
поделиться

При поиске дерева наследования функцию для использования C++ использует имя без аргументов, как только это нашло любое определение, это останавливает, затем исследует аргументы. В данном примере это останавливается в классе B. Чтобы быть в состоянии сделать то, что Вы после, класс B должен быть определен как это:

class B : public A  
{  
  public:
    using A::DoSomething;
    int DoSomething(int x) {return 1;};  
}; 
1
ответ дан Jono 27 November 2019 в 05:42
поделиться

Функция скрыта функцией с тем же именем в подклассе (но с различной подписью). Можно вывести на экран его при помощи оператора использования, как в использовании A:: DoSomething ();

1
ответ дан slicedlime 27 November 2019 в 05:42
поделиться
Другие вопросы по тегам:

Похожие вопросы: