В общем: #include<vector> #include<iostream> template<typename T> constexpr T foo () {

Question

В общем: #include<vector> #include<iostream> template<typename T> constexpr T foo () {

l1:
return 1;
}

int main () {
int x = foo<int>();
}

такой код компилится под GCC и MSVC (С++ 20, последние версии компиляторов), под Clang нет

в то же время

#include<vector>
#include<iostream>

constexpr int foo () {
l1:
return 1;
}

int main () {
int x = foo();
}
не компилится ни под что. Кто знает в чём разница?)

#c #embedded #programming #russian

0

11.05.2022

14 ответов

8 просмотров

Maks Автор вопроса

Коллеги, помогите понять разницу, пожалуйста :)

0

12.05.2022

Maks Автор вопроса

Ramil Rizvanov
ты все со своими метками. Это рабочая задача или с...

Второе, но это же не умаляет её?

0

12.05.2022

Ilya Zviagin

Так надо шаблон функции инстанциировать, для этого надо указать параметр шаблона (поскольку функция без параметров и этот параметр шаблона из параметров функции не может быть выведен)

0

12.05.2022

Ilya Zviagin

Ramil Rizvanov
ты все со своими метками. Это рабочая задача или с...

А метки там никак не влияют....

0

12.05.2022

Maks Автор вопроса

Ilya Zviagin
Так надо шаблон функции инстанциировать, для этого...

Так я же явно foo<int> вызываю Это не так делается разве?

0

12.05.2022

Ilya Zviagin

Maks
Так я же явно foo<int> вызываю Это не так делаетс...

А, сори. Там не шаблон...

0

12.05.2022

Maks Автор вопроса

Ilya Zviagin
А, сори. Там не шаблон...

Да Шаблон компилится не шаблон не компилится)

0

12.05.2022

Ilya Zviagin

Так не компилируется, а ЧТО ? В чём проблема ?

0

12.05.2022

Maks Автор вопроса

Ilya Zviagin
Так не компилируется, а ЧТО ? В чём проблема ?

Ну как Если код одинаковый в двух кейсах, то должно либо оба кода компилироваться, либо нет

0

12.05.2022

Ramil Rizvanov

https://godbolt.org/z/8nbqG7dTq

0

12.05.2022

Ramil Rizvanov

ну а так, я думаю версия с шаблоном в GCC MSVC отсеяла метку за ненадобностью, clang отсеивать не стал. В то же время без шаблона она ни у кого не была отсеяна

0

12.05.2022

Maks Автор вопроса

Ramil Rizvanov
ну а так, я думаю версия с шаблоном в GCC MSVC отс...

да, это вроде правда непонятно правда почему компилятор так себя ведёт :)

0

12.05.2022

Anatoly Shirokov

constexpr функция не должна иметь label в body, см https://en.cppreference.com/w/cpp/language/constexpr :

0

12.05.2022