Что означает в C++ запись вида auto f() -> T?

@Соколиный глаз · Регистрация: 25.07.2014

Студворк — интернет-сервис помощи студентам

C++
1
2
3
4
auto f(const int x) -> float
{
    return float(x) / 3;
}

Что означает в C++ запись вида auto f() -> T? ReSharper предложил мне такую замену, я хочу понять что это значит. Автовывод типа возвращаемого значения функции, но зачем тогда float после стрелочки?

@Human_foot · 28.12.2018, 10:36

auto говорит компилятору, чтобы он сам искал подходящий тип для переменной.
Но в случае использования auto для функции, тип должен быть определён программистом, поэтому явно указывается возвращаемый тип

@Соколиный глаз · 28.12.2018, 10:50 **[ТС]**

Human_foot, а какой смысл тогда auto тут, если тип все равно указывать?

@Fulcrum_013 · 28.12.2018, 11:07

Соколиный глаз, перед списком аргументов их тип еще неизвестен компилятору. А если тип возврата нужно из него выводить тогда это и используется. К примеру:

C++
1
2
template <class LT,class RT>
auto operator * (LT Left,RT Right) -> decltype(Left.x * Right.x) { // вычисление значения}

notAll · 28.12.2018, 11:31

Стоит отметить что в С++14 trailing return type не являеться об`язательным, а возвращаемый тип может быть определен из тела функции.

@eva2326 · 28.12.2018, 11:48

Сообщение от Human_foot

Но в случае использования auto для функции, тип должен быть определён программистом

А теперь правильный ответ: не должен.
Программист может явно указать тип возвращаемого значения.
А может и не указывать.

На самом деле запись вида:

C++
1
auto functionName(param) -> T

Это - альтернативная запись вида:

C++
1
T functionName(param)

Всего лишь синтаксический сахар.
И ничего более.

@Human_foot · 28.12.2018, 12:04

Сообщение от eva2326

не должен.

А теперь правильный ответ: зависит от версии стандарта

@Fulcrum_013 · 28.12.2018, 12:05

Сообщение от notAll

а возвращаемый тип может быть определен из тела функции.

Может. Но не всегда это удобно. К примеру многоэтажный decltype для определения типа возврата, и ветвистый свитч на возврате.

@eva2326 · 28.12.2018, 12:26

Сообщение от Human_foot

А теперь правильный ответ: зависит от версии стандарта

Нет, не зависит.

Нет ни одной версии стандарта, в которой бы программист
был обязан для функций использовать запись вида:
auto foo() -> T

@Human_foot · 28.12.2018, 12:30

Не по теме:

Пример кода можно?

@eva2326 · 28.12.2018, 13:10

Сообщение от Соколиный глаз

Human_foot, а какой смысл тогда auto тут, если тип все равно указывать?

Высказывание этого товарище - очевидно не имеет смысла.

Явное указание T нужно лишь там, где оно необходимо.
А необходимо оно может быть только в трёх случаях:

1.
Когда наружу нужно вернуть тип данных,
не соответствующий результату работы

Пример:

C++
1
2
3
4
5
6
7
8
9
10
auto load(const char* filename) -> bool
{
    std::ostream os(filename);
    load_content(os);
    return os; // <--- из-за явного указания bool
 
    // наружу вернётся true, 
    // если os находится в валидном состоянии
 
}

Это - притянутый за уши пример, потому что в таких случаях проще сразу написать в классическом стиле:

C++
1
 bool load(const char* filename)

2.
auto вычисляет типы согласно своим правилам,
отличным от правил буквальной подстановки decltype.

auto подчиняется правилам "схлопывания" типов
по аналогии c forward reference

(подробности гугли: хабр универсальные ссылки)
(подробности гугли: хабр идеальная передача аргументов)

В результате, на выходе может получится не тот тип данных,
на который мы рассчитывали.

Поэтому, иногда мы вынужденны дополнительно явно указывать,
что именно мы хотим.

Пример:

На языке с++ литерная текстовая константа имеет тип "массив".
Допустим, хотим вернуть из функции ссылку на статический массив.

C++
1
2
3
4
auto get_name() noexcept 
{
    return "hello";
}

Однако, согласно правилам вывода типов для auto
результат будет const char*.

Не то, что мы ожидали...

Давайте скажем компилятору, что возвращая ссылку на массив,
мы хотим получать именно ссылку, а не указатель.
Эта мера не позволит компилятору выполнить неявное приведение типов:

C++
1
2
3
4
auto get_name() noexcept -> auto&
{
    return "hello";
}

Теперь возвращаемый тип соответствует фактическому.

другой способ добиться того же самого:

C++
1
2
3
4
decltype(auto) get_name() noexcept
{
    return "hello";
}

3.
Моё любимое.
Автовывод типов значений имеет под собой "шаблонную" природу.
Он подчиняется тем же правилам, которым подчиняются обычные классические шаблоны с++
А значит, можно задействовать различные трюки.

Например SFINAE:
Задача: написать универсальную функцию begin,
которая сможет работать не только с контейнерами,
или с массивами, но и с сишными строчками, и с итераторами:

C++
1
2
3
4
5
6
7
        template <class str>
        constexpr auto begin(str& s) noexcept -> decltype (::std::begin(s))
            { return ::std::begin(s); }
 
        template <class ptr>
        constexpr auto begin(ptr* p) noexcept -> decltype (&(*p))
            { return p; }

Для первой перегрузки, мы сообщили компилятору:
тип возвращаемого значения должен быть точно таким же,
какой вернёт вызов std::begin(s)
Если же окажется, что аргумент s не совместим с std::begin,
тогда весь шаблон зафейлится, и данная перегрузка вообще не будет использована.

В этом случае компилятор рассмотрит вторую перегрузку.
Для неё тип возвращаемого значения - это "разыменовать p, и взять адрес"
Такое можно провернуть только с указателями, или с итераторами.

В результате получаем:
для всех типов совместимых с std::begin отработает первый вариант.
для указательных типов сработает второй вариант.

Oби перегрузки не конфликтуют друг с другом,
потому что благодаря указанному типу возвращаемого значения,
срабатывает SFINAE, которое оставляет в живых только одну заведомо подходящую версию

@Fulcrum_013 · 28.12.2018, 13:25

Сообщение от eva2326

другой способ добиться того же самого:

а типа

C++
1
2
3
4
auto& get_name() noexcept 
{
    return "hello";
}

не тот же самый результат даст?

@rat0r · 28.12.2018, 16:45

Сообщение от eva2326

Задача: написать универсальную функцию begin,
которая сможет работать не только с контейнерами,
или с массивами, но и с сишными строчками, и с итераторами:

1) С чего вдруг вторая перегрузка будет выбрана для итератора?
2) Задача написать только функцию begin? А end как будет выглядеть?

Croessmah · 28.12.2018, 18:27

Не по теме:

Эхххх, Дениска...

@eva2326 · 29.12.2018, 12:36

Сообщение от rat0r

1) С чего вдруг вторая перегрузка будет выбрана для итератора?

вариант с boost
https://rextester.com/HZM35068

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
#include <iostream>
#include <boost/filesystem.hpp>
namespace fs = boost::filesystem;
namespace tools 
{
   template <class str>
   constexpr auto begin(str& s) noexcept -> decltype (::std::begin(s))
       { 
       
std::cout << "[begin] ";
       return ::std::begin(s); 
   }
 
   template <class iter>
   constexpr auto begin(iter& i) noexcept -> decltype ( (&(*i), i)  )
       { 
       std::cout << "[iter] ";
       return i;
   }
 
   template <class ptr>
   constexpr auto begin(ptr* p) noexcept -> decltype (&(*p))
       { 
       std::cout << "[ptr] ";
       return p; 
   }
 
} //namespace tools 
 
int main()
{
   const char arr[]      = "hello";
   const char* ptr       = arr;
   const std::string str = arr;
   const auto itr        = str.cbegin();
  
   const fs::directory_iterator dir(fs::current_path());
   
   { auto it =  tools::begin(dir); std::cout << "dir: " << it->path() << '\n'; }    
   { auto it =  tools::begin(arr); std::cout << "arr: " << it         << '\n'; }
   { auto it =  tools::begin(ptr); std::cout << "ptr: " << it         << '\n'; }
   { auto it =  tools::begin(str); std::cout << "str: " << &(*it)     << '\n'; }
   { auto it =  tools::begin(itr); std::cout << "itr: " << &(*it)     << '\n'; }
}

тоже самое, только std
https://rextester.com/HZM35068

Сообщение от rat0r

А end как будет выглядеть?

На самом деле реальный код гораздо сложнее и технологичнее.

Учитывается множество нюансов.
Итератор как минимум должен уметь определять факт своей инвалидности:

C++
1
while(it) ++it;

Как это умеют делать итераторы в стиле java (filesystem, например)

Если вам так интересно, можно завести отдельную тему)))

Новые блоги и статьи Все статьи Все блоги /
Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .
SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .

@Human_foot 156 / 114 / 36 Регистрация: 27.06.2018 Сообщений: 257
	28.12.2018, 10:36
	`auto` говорит компилятору, чтобы он сам искал подходящий тип для переменной. Но в случае использования `auto` для функции, тип должен быть определён программистом, поэтому явно указывается возвращаемый тип 0

@Соколиный глаз Alvin Seville 343 / 273 / 134 Регистрация: 25.07.2014 Сообщений: 4,537 Записей в блоге: 22
	28.12.2018, 10:50 [ТС]
	Human_foot, а какой смысл тогда auto тут, если тип все равно указывать? 0

notAll 495 / 209 / 70 Регистрация: 27.05.2016 Сообщений: 557
	28.12.2018, 11:31
	Стоит отметить что в С++14 `trailing return type` не являеться об`язательным, а возвращаемый тип может быть определен из тела функции. 0

@Human_foot
	28.12.2018, 12:30
	Не по теме: Пример кода можно? 0

Croessmah
	28.12.2018, 18:27
	Не по теме: Эхххх, Дениска... 0