Перегруженная функция с нулевым вызовом не вызывается

Question

Перегруженная функция с нулевым вызовом не вызывается

0

У меня есть следующее:

void func(const char *p) { std::cout << p << "\n"; }
void func(std::nullptr_t p) { std::cout << "<null>\n"; }

int main()
{
    func("test");
    char *p=nullptr;
    func(p);
    func(nullptr);
    return 0;
}

func("test") всегда вызывается. С func(p) комментировал, func(nullptr) называется, но когда func(p) не комментируется ни один из них не называются. Почему нет? Почему func(p) с p == nullptr не вызывает func (nullptr), но вместо вызовов func (const char *)?

[редактировать]
Основываясь на ответах, мой вывод состоит в том, что func (...) вызывается на основе типа параметра, а p имеет тип char*, значение p для значения nullptr не изменяет тип и не изменяет этот func (char * ) называется, как объясняется и принятый ответ.

slashmais 09 июнь 2014, в 20:55

Источник

2

Похожие страницы : stackoverflow.com/questions/23283772/…
0x499602D2 09 июнь 2014, в 18:23
0

Можете ли вы изменить его, чтобы не пытаться использовать нулевой указатель func(p) использует нулевой указатель, который является неопределенным поведением. Что происходит, когда вы делаете это изменение? Смотрите ideone.com/gSNG6m
Dave S 09 июнь 2014, в 18:31
0

@DaveS: не знаю, понимаю ли я, что вы имеете в виду, но если p указывает на правильную c-строку, все работает нормально.
slashmais 09 июнь 2014, в 18:35
0

@slashmais Потому что, если вы собираетесь напечатать нулевой указатель, это устанавливает бит в маску ошибки потока. Когда это происходит, вы больше не можете выполнять вывод, пока не очистите маску ошибок снова.
0x499602D2 09 июнь 2014, в 18:38
0

@ 0x499602D2: да, я видел это в связанном вопросе, и это является причиной. Я отредактировал свой вопрос так: почему func (nullptr) не вызывается с p == nullptr? ааааа - хорошо, теперь я вижу: функции вызываются на основе типа, и в этом случае nullptr - это значение, присвоенное p, и оно не меняет тип p.
slashmais 09 июнь 2014, в 18:42
1

@slashmais Это правильно. Компилятор должен решить, какую версию func вызывать во время компиляции, поэтому невозможно, чтобы это основывалось на текущем значении переменной аргумента - только на его статическом типе.
dlf 09 июнь 2014, в 18:47
0

@ dlf: да, и единственный случай, когда он будет работать по значению, это с variadic-шаблонами, я думаю - нужно проверить эту идею сейчас;)
slashmais 09 июнь 2014, в 18:53
1

Пожалуйста, обновите ваш вопрос, так как он больше не соответствует внутренним требованиям. Вы получите вывод от всех трех вызовов функций во всех случаях; вопрос в том, какой выход. Обновите его, перефразировав и очистив, а не добавив еще «отредактировать» отрывки без знаков препинания или заглавных букв.
Lightness Races in Orbit 09 июнь 2014, в 19:03

Показать ещё 6 комментариев

Теги:

c++

nullptr

1 ответ

Ещё вопросы

Похожие страницы : stackoverflow.com/questions/23283772/…
Можете ли вы изменить его, чтобы не пытаться использовать нулевой указатель func(p) использует нулевой указатель, который является неопределенным поведением. Что происходит, когда вы делаете это изменение? Смотрите ideone.com/gSNG6m
@DaveS: не знаю, понимаю ли я, что вы имеете в виду, но если p указывает на правильную c-строку, все работает нормально.
@slashmais Потому что, если вы собираетесь напечатать нулевой указатель, это устанавливает бит в маску ошибки потока. Когда это происходит, вы больше не можете выполнять вывод, пока не очистите маску ошибок снова.
@ 0x499602D2: да, я видел это в связанном вопросе, и это является причиной. Я отредактировал свой вопрос так: почему func (nullptr) не вызывается с p == nullptr? ааааа - хорошо, теперь я вижу: функции вызываются на основе типа, и в этом случае nullptr - это значение, присвоенное p, и оно не меняет тип p.
@slashmais Это правильно. Компилятор должен решить, какую версию func вызывать во время компиляции, поэтому невозможно, чтобы это основывалось на текущем значении переменной аргумента - только на его статическом типе.
@ dlf: да, и единственный случай, когда он будет работать по значению, это с variadic-шаблонами, я думаю - нужно проверить эту идею сейчас;)
Пожалуйста, обновите ваш вопрос, так как он больше не соответствует внутренним требованиям. Вы получите вывод от всех трех вызовов функций во всех случаях; вопрос в том, какой выход. Обновите его, перефразировав и очистив, а не добавив еще «отредактировать» отрывки без знаков препинания или заглавных букв.

Lightness Races in Orbit · Accepted Answer · 2014-06-09T17-20-00.000Z

Точное содержание вашего вопроса на самом деле глубоко замалчивается в настоящее время, потому что причина, по которой вы видели вещи, "не вызываемые", заключалась в том, что ваш исходный код пытался передать указатель нулевого символа, который устанавливает флаг ошибки в потоке и препятствует его работе снова, пока он не будет исправлен. Во всяком случае, вот суть ответа:

Вы не можете назначить nullptr на char* и ожидать, что char*, чтобы волшебным образом превратить в std::nullptr_t. Ваш указатель по-прежнему является char*, и он имеет значение nullptr.

Преимущество std::nullptr_t заключается в том, что литерал нулевого указателя имеет свой собственный отдельный тип, который не преобразуется в целые типы; это не означает, что вы можете ожидать использования типа std::nullptr_t везде, где указатель имеет значение 0.

Да, я пришел к такому выводу. Жаль, что это не так, решил бы много проблем, если бы это было возможно ... :)
@slashmais C ++ имеет статическую систему типов, вы не можете использовать ее, чтобы узнать о свойствах среды выполнения.
@AlanStokes: Ну, это не совсем статично, и да, вы можете. Только не этот.