STD：：Declval（）在GCC中触发带有警告的断言错误

Question

请考虑以下片段：

#include <utility>

template <typename U>
auto foo() -> decltype(std::declval<U>() + std::declval<U>());

template <typename T>
decltype(foo<T>()) bar(T)
{}

int main()
{
    bar(1);
    return 0;
}

main.cpp: In instantiation of ‘decltype (foo<T>()) bar(T) [with T = int; decltype (foo<T>()) = int]’:
main.cpp:12:7:   required from here
main.cpp:8:2: warning: no return statement in function returning non-void [-Wreturn-type]
 {}
  ^
In file included from /usr/lib/gcc/x86_64-pc-linux-gnu/4.8.1/include/g++-v4/bits/move.h:57:0,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/4.8.1/include/g++-v4/bits/stl_pair.h:59,
                 from /usr/lib/gcc/x86_64-pc-linux-gnu/4.8.1/include/g++-v4/utility:70,
                 from main.cpp:1:
/usr/lib/gcc/x86_64-pc-linux-gnu/4.8.1/include/g++-v4/type_traits: In instantiation of ‘typename std::add_rvalue_reference< <template-parameter-1-1> >::type std::declval() [with _Tp = int; typename std::add_rvalue_reference< <template-parameter-1-1> >::type = int&&]’:
main.cpp:8:2:   required from ‘decltype (foo<T>()) bar(T) [with T = int; decltype (foo<T>()) = int]’
main.cpp:12:7:   required from here
/usr/lib/gcc/x86_64-pc-linux-gnu/4.8.1/include/g++-v4/type_traits:1871:7: error: static assertion failed: declval() must not be used!
       static_assert(__declval_protector::__stop,

如果禁用警告或为条提供返回语句，例如，

template <typename T>
decltype(foo<T>()) bar(T a)
{
    return a + a;
}

断言失败消失。Clang++3.3在任何情况下都不会触发断言错误。这种行为是否符合海湾合作委员会的标准？

Answer 1

我的GCC4.9版本是在6月初构建的，只要我在函数中添加return{}；或throw；，就可以毫无怨言地编译它。如果没有返回，它就会激发静态断言。这当然是一个bug，但只是一个次要的bug，因为函数只在执行时“崩溃”。

我在试图在常量表达式中执行declval()时看到过这个错误，所以在您的例子中可能会发生类似的情况。“不能使用”大概是指网上解决使用或使用结果。

也许在没有任何语句的情况下，它试图用decltype的内容制造一个语句。即使添加一个简单的语句，如0；也可以抑制虚假错误。（但是static_assert(true,“”）甚至void(0)都是不够的。）

提交了一个GCC窃听器。