#Include <type_traits> #include <iostream> template<typename T> void foo(T) { std::cout

Question

#Include <type_traits> #include <iostream> template<typename T> void foo(T) { std::cout

<< "abc";
}
template<typename T>
void foo(std::type_identity_t<T> x) {
std::cout << "fdsf";
}

int main() {
foo<int>(5);
}

Что это ? Почему у функций разный манглинг? почему выбирается второе? Почему если заменить 5 на char '5' всё ещё выбирается второе? Это что то уровня бага стандарта на уровне с манглингом одинаковым для requires

#c++ #embedded #programming #russian

0

01.08.2023

5 ответов

31 просмотр

Vlad

пахнет IFNDR http://eel.is/c++draft/temp.over.link#7

0

01.08.2023

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

Vlad
пахнет IFNDR http://eel.is/c++draft/temp.over.link...

ну похоже

0

01.08.2023

다니엘(줄리아)

Ну разный манглинг понятно почему. Потому что алиас на тип внутри другого типа манглится как алиас, а не как низлежащий тип. Другими словами - std::type_indentity_t<T> манглится как std::type_indentity<T>::type, что в случае с интом дает std::type_indentity<int>::type

0

01.08.2023

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

다니엘(줄리아)
Ну разный манглинг понятно почему. Потому что али...

Это не объясняет ничего, это констатация факта

0

01.08.2023

Denis P · Accepted Answer

Denis P

а почему тут манглинг должен быть одинаковый?

0

01.08.2023

170 похожих чатов

#Include <type_traits> #include <iostream> template<typename T> void foo(T) { std::cout

5 ответов

Похожие вопросы