Question

考虑以下示例（来自here）：

#include <type_traits>
#include <iostream>
template <typename U>
struct A {
};

struct B {
   template <typename F = int>
   A<F> f() { return A<F>{}; }

   using default_return_type = decltype(std::declval<B>().f());
};

int main()
{
    B::default_return_type x{};
    std::cout << std::is_same< B::default_return_type, A<int>>::value;
}

compiles with no errors on gcc9.2，但gcc7.2和clang 10.0.0抱怨B不够完整。 lang声错误是：

prog.cc:11:58: error: member access into incomplete type 'B'
   using default_return_type = decltype(std::declval<B>().f());
                                                         ^
prog.cc:7:8: note: definition of 'B' is not complete until the closing '}'
struct B {
       ^
prog.cc:16:8: error: no type named 'default_return_type' in 'B'
    B::default_return_type x{};
    ~~~^
prog.cc:17:35: error: no member named 'default_return_type' in 'B'
    std::cout << std::is_same< B::default_return_type, A<int>>::value;
                               ~~~^

Answer 1

错误的来源不是std::declval，而是不完整的类成员访问。

在2.5年前CWG1836 was merged的解决方案之前，该标准要求在类成员访问表达式（E1.E2）中完成该类。
[expr.ref]/2 in C++11：

对于第一个选项（点），第一个表达式应具有完整的类类型。

[expr.ref]/2 in C++17：

对于第一个选项（点），第一个表达式应该是具有完整类类型的glvalue。

在alias-declaration中，某个类在其自己的member-specification中不被认为是完整的。
[class.mem]/6 in C++17：

在 class-specifier 的结尾}处，类被视为完全定义的对象类型（[basic.types]）（或完整类型）。在类 member-specification 中，该类在函数体，默认参数， noexcept-specifier 和默认成员初始化程序（包括嵌套类中的此类）内被视为完整的）。否则，在其自己的成员规范类中，它被视为不完整。

Answer 2

来自[declval]：

注释：T中的模板参数declval可能是不完整的类型。

此措辞自C ++ 11以来就存在（因此，编译器不可能符合更早的标准）

T是否必须是要在`std :: declval <T>`中使用的完整类型？

2 个答案: