Почему выражения заявки в отношении типов позади должны быть изуродованы в названии символа? ⇐ C++

[Anonymous]

Недавно я обнаружил, что выражения Decltype искажаются как часть имен символов функций, при использовании в качестве типов возврата, и что это может быть причиной нести разломов сегментации при демонстрации выражений (например, в сеансах отладки), если выражение слишком сложное.

Код: Выделить всё

#include 
#include 

struct A { void bar() const; };

template
decltype(std::declval().bar()) foo(T const& a);

void foo() { A a; return foo(a); }
< /code>
Скомпилируется в (GCC 5.2.0): < /p>
foo():
sub     rsp, 24
lea     rdi, [rsp+15]
call    decltype ((((declval)()).bar)()) foo(A const&)
add     rsp, 24
ret
< /code>
Вторая версия, почти эквивалентная, где тип выражения разрешается как часть дополнительного параметра шаблона: < /p>
#include 
#include 

struct A { void bar() const; };

template
R foo(T const& a);

void foo() { A a; return foo(a); }
< /code>
Скомпилируется в (GCC 5.2.0): < /p>
foo():
sub     rsp, 24
lea     rdi, [rsp+15]
call    void foo(A const&)
add     rsp, 24
ret

Я понимаю, что функции шаблонов могут быть перегружены только на их тип возврата, но разве компилятор не сможет разрешить выражение Decltype самостоятельно и вместо этого MANGLE RETRULTING TYPE?>

Подробнее здесь: https://stackoverflow.com/questions/346 ... ymbol-name