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

fwd( static_cast(workOnVal)); // Также OK

Конечно, это требует знания типа указателя на функцию, передаваемого шаблоном fwd. Разумно предположить, что функция с прямой передачей это документирует. В конце концов, функции с прямой передачей предназначены для принятия всего что угодно, так что если нет никакой документации, говорящей, что должно быть передано, то откуда вы узнаете, что им передавать?

Последний случай неудачной прямой передачи — когда в качестве аргумента функции используется битовое поле. Чтобы увидеть, что это означает на практике, рассмотрим заголовок IPv4, который может быть смоделирован следующим образом: [19] Здесь предполагается, что битовые поля располагаются от младшего бита к старшему. С++ это не гарантирует, но компиляторы часто предлагают механизм, который позволяет программисту управлять схемой размещения битовых полей.

struct IPv4Header {

std::uint32_t version: 4,

IHL: 4,

DSCP: 6,

ECN: 2,

totalLength: 16;

};

Если наша многострадальная функция f(являющаяся целевой для нашей функции прямой передачи fwd) объявлена как принимающая параметр std::size_t, то вызов, скажем, с полем totalLengthобъекта IPv4Header компилируется без проблем:

void f(std::size_t sz); // Вызываемая функция

IPv4Header h;

…

f(h.totalLength); // Все в порядке

Однако попытка передать h.totalLengthв fчерез fwd— это совсем другая история:

fwd(h.totalLength); // Ошибка!

Проблема заключается в том, что параметр функции fwdпредставляет собой ссылку, а h.totalLength— неконстантное битовое поле. Это может показаться не столь уж плохим, но стандарт С++ осуждает это сочетание в непривычно ясной форме: “неконстантная ссылка не может быть привязана к битовому полю”. Тому есть превосходная причина. Битовые поля могут состоять из произвольных частей машинных слов (например, биты 3-5 из 32-битного int), но непосредственно их адресовать нет никакой возможности. Ранее я упоминал, что ссылки и указатели представляют собой одно и то же на аппаратном уровне, и просто так же, как нет никакого способа создать указатели на отдельные биты (С++ утверждает, что наименьшей сущностью, которую вы можете адресовать, является char), нет никакого способа связать ссылку с произвольными битами.

Обходной путь для невозможности прямой передачи битовых полей становится простым, как только вы осознаете, что любая функция, принимающая битовое поле в качестве аргумента, на самом деле получает копию значения битового поля. В конце концов, никакая функция не может привязать ссылку к битовому полю, поскольку не существует указателей на битовые поля. Единственная разновидность параметров, которым могут передаваться битовые поля, — это параметры, передаваемые по значению, и, что интересно, ссылки на const. В случае передачи по значению вызываемая функция, очевидно, получает копию значения в битовом поле, и оказывается, что в случае параметра, являющегося ссылкой на const, стандарт требует, чтобы эта ссылка в действительности была привязана к копии значения битового поля, сохраненного в объекте некоторого стандартного целочисленного типа (например, int). Ссылки на constне привязываются к битовым полям, они привязываются к “нормальным” объектам, в которые копируются значения битовых полей.

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

// Копирование значения битового поля; см. раздел 2.2

auto length = static_cast(h.totalLength);

fwd(length); // Передача копии

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

• Прямая передача неудачна, когда вывод типа не удается выполнить или когда он выводит неверный тип.