Что означает в 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, например)

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

Новые блоги и статьи Все статьи Все блоги /
Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro
Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .

@Human_foot 156 / 108 / 36 Регистрация: 27.06.2018 Сообщений: 256
	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