bug msvc2015? trailing syntaxis for auto (since C++11)

@eva2326 · Регистрация: 17.05.2015

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

Всем привет!

Поведение msvc2015 - это баг?
Или это - корректное поведение с++11, которое изменилось начиная с с++14?
-----

trailing syntaxis for auto - это синтаксис вида: auto foo() -> int

Тип возвращаемого значения указывается в конце объявления функции, а не в начале.
Благодаря чему, становится возможным определить тип возвращаемого значения через имя аргумента:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
struct record
{
    char name[32];
};
 
template<class t>
auto foo(const t& v) -> decltype((v.name))
{
    return v.name;
}
 
#include <iostream>
 
int main()
{
    record rec { "Asya" };
    std::cout << foo(rec) << '\n';
}

Если использовать совместно с SFINAE, то можно изготавливать "концепты".
Концепт - это способ ввести ограничения для параметра шаблона.
Благодаря чему становится возможным реализовать различную логику в зависимости от свойств типов.
Например:

https://rextester.com/ZKWZ68876

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
#include <iostream>
#include <string>
 
void can_be_converted_to_integer(int);
 
template<class t>
auto concept(t&& v) -> decltype( can_be_converted_to_integer(v) )
{
    // инстанцируется только для совместимых с int аргументов
    std::cout << "can be converted to integer type\n";
}
 
template<class t>
auto concept(t&& v) -> decltype( v.c_str(), void() )
{
    // инстанцируется только для классов строк
    // (у которых есть метод c_str)
    std::cout << "string type (has c_str)\n";
}
 
int main()
{
    std::string v;
    concept(1);
    concept(v);
}

Обратите внимание: концепты можно реализовывать без применения тяжелых заголовков type_traits.

Но вот незадача: данный подход не работает в msvc2015

Code
1
2
3
source_file.cpp(16): error C2995: 'unknown-type concept(t &&)': function template has already been defined
source_file.cpp(7): note: see declaration of 'concept'
Microsoft (R) C/C++ Optimizing Compiler Version 19.00.23506 for x64

Такое впечатление, что компилятор сначала рассматривает только фрагмент декларации:
template<class t> auto concept(t&& v)
И видит два одинаковых шаблона.

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

Можно было бы решить, что компилятор прав, вот только для шаблонов функций, тип возвращаемого значения входит в сигнатуру:

The signature of a function template additionally includes its return type and its template parameter list.

Поэтому, я больше склоняюсь к мысли, что это просто очередной баг в компиляторах msvc2015.
Более современные компиляторы (clang/gcc и Visual Studio более поздних версий) адекватно реагируют.
И код успешно компилируется.

Вопросы:
Поведение msvc2015 - это баг?
Или это - корректное поведение с++11, которое изменилось начиная с с++14?

@argcargv · 08.02.2021, 23:28

https://devblogs.microsoft.com... nsupported

Новые блоги и статьи Все статьи Все блоги /
Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Учёным и волонтёрам проекта «Einstein@home» удалось обнаружить четыре гамма-лучевых пульсара в джете Млечного Пути Programma_Boinc 01.01.2026 Учёным и волонтёрам проекта «Einstein@home» удалось обнаружить четыре гамма-лучевых пульсара в джете Млечного Пути Сочетание глобально распределённой вычислительной мощности и инновационных. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. 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-динозавры, а новое поколение лёгких потоков. Откат?. . .

@argcargv 248 / 70 / 9 Регистрация: 22.07.2018 Сообщений: 321
	08.02.2021, 23:28
	https://devblogs.microsoft.com... nsupported 0