Оператор стрелки (->) в заголовке функции

Я нашел такой код:

template <typename T, typename T1> auto compose(T a, T1 b) -> decltype(a + b) {
   return a+b;
}

Я подумал со всеми подробностями, которые были новы для меня, но один. Скажите, пожалуйста, где я могу прочитать, что означает оператор стрелки (->) в заголовке функции? Я предполагаю чисто логически, что оператор -> определяет тип, который будет получен с помощью auto, но я хочу получить это прямо, но не могу найти информацию.

Ответ 1

В С++ 11 есть два синтаксиса для объявления функции:

идентификатор возвращаемого типа ( аргумент-объявления... )

auto идентификатор ( аргумент-объявления... ) -> return_type

Они эквивалентны. Теперь, когда они эквивалентны, почему вы когда-либо хотите использовать последнее? Итак, С++ 11 представил эту классную decltype вещь, которая позволяет описать тип выражения. Таким образом, вы можете получить тип возврата из типов аргументов. Итак, вы пытаетесь:

template <typename T1, typename T2>
decltype(a + b) compose(T1 a, T2 b);

и компилятор скажет вам, что он не знает, что a и b находятся в аргументе decltype. Это потому, что они объявляются только в списке аргументов.

Вы можете легко решить проблему, используя declval и параметры шаблона, которые уже объявлены. Как:

template <typename T1, typename T2>
decltype(std::declval<T1>() + std::declval<T2>())
compose(T1 a, T2 b);

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

template <typename T1, typename T2>
auto compose(T1 a, T2 b) -> decltype(a + b);

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

Обновление С++ 14: С++ 14 также позволяет просто

auto идентификатор ( аргумент-объявления... )

пока функция полностью определена перед использованием, и все операторы return выводятся в один и тот же тип. Синтаксис -> остается полезным для публичных функций (объявленных в заголовке), если вы хотите скрыть тело в исходном файле. Скорее всего, это невозможно сделать с помощью шаблонов, но есть некоторые конкретные типы (обычно полученные через метапрограммирование шаблонов), которые трудно записать иначе.

Ответ 1

Ответ 2