Скотт Мейерс - Эффективный и современный С++. 42 рекомендации по использованию С++11 и С++14

В приведенном выше вызове “ fwd({1,2,3})” проблема заключается в том, что передача инициализатора в фигурных скобках параметру шаблона функции, не объявленному как std::initializer_list, заставляет его быть, как предписывает стандарт, “не выводимым контекстом”. На простом человеческом языке это означает, что компиляторам запрещено выводить тип для выражения {1,2,3}в вызове fwd, поскольку параметр fwdне объявлен как std::initializer_list. Не имея возможности вывести тип параметра fwd, компиляторы, понятно, вынуждены отклонять такой вызов.

Интересно, что в разделе 1.2 поясняется, что вывод типа для переменных auto, инициализированных с помощью инициализатора в фигурных скобках, успешен. Такие переменные считаются объектами типа std::initializer_list, и это обеспечивает простой обходной путь для случаев, когда тип передающей функции должен быть выведен как std::initializer_list :объявить локальную переменную как auto, а затем передать ее в передающую функцию:

auto il = { 1, 2, 3 }; // Тип il выводится как

// std::initializer_list

fwd(il); // OK, прямая передача il в f

В разделе 3.2 поясняется, что, когда вы пытаетесь передать в шаблон 0или NULLв качестве нулевого указателя, вывод типа для переданного аргумента дает вместо типа указателя целочисленный тип (обычно int). В результате ни 0, ни NULLне может быть передано с помощью прямой передачи как нулевой указатель. Решение проблемы простое: передавать nullptrвместо 0и NULL. Детальную информацию вы можете найти в разделе 3.2.

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

class Widget {

public:

// Объявление MinVals:

static constexpr std::size_t MinVals = 28;

};

… // Определения MinVals нет

std::vector widgetData;

widgetData.reserve( Widget::MinVals); // Использование MinVals

Здесь мы используем Widget::MinVals(далее — просто MinVals) для указания начальной емкости widgetData, даже несмотря на то, что определения MinValsнет. Компиляторы обходят отсутствующее определение (как и должны это делать) подстановкой значения 28 во все места, где упоминается MinVals. Тот факт, что для значения MinValsне выделена память, проблемой не является. Если берется адрес MinVals(например, кто-то создает указатель на MinVals), то MinValsтребует места в памяти (чтобы указателю было на что указывать), и тогда приведенный выше код хотя и будет компилироваться, не будет компоноваться до тех пор, пока не будет предоставлено определение MinVals.

С учетом этого представим, что f(которой функция fwdпередает аргумент) объявлена следующим образом:

void f(std::size_t val);

Вызов fс MinValsпроблемы не представляет, поскольку компиляторы просто заменяют MinValsего значением:

f(Widget::MinVals); // OK, рассматривается как "f(28)"

Увы, все не так хорошо, если попытаться вызвать fчерез fwd:

fwd(Widget::MinVals); // Ошибка! Не должно компоноваться

Этот код компилируется, но не должен компоноваться. Если это напоминает вам происходящее при взятии адреса MinVals, это хорошо, потому что проблема в обоих случаях одна и та же.

Хотя нигде в исходном коде не берется адрес MinVals, параметром fwdявляется универсальная ссылка, а ссылки в коде, сгенерированном компилятором, обычно рассматриваются как указатели. В бинарном коде программы указатели и ссылки, по сути, представляют собой одно и то же. На этом уровне можно считать, что ссылки — это просто указатели, которые автоматически разыменовываются. В таком случае передача MinValsпо ссылке фактически представляет собой то же, что и передача по указателю, а раз так, то должна иметься память, на которую этот указатель указывает. Передача целочисленных членов-данных static constи constexprпо ссылке в общем случае требует, чтобы они были определены, и это требование может привести к неудачному применению прямой передачи там, где эквивалентный код без прямой передачи будет успешен.