相关疑难解决方法(0)

T 是否必须是一个完整的类型才能在 `std::declval<T>` 中使用?

考虑这个例子(来自这里):

#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;
}
Run Code Online (Sandbox Code Playgroud)

在 gcc9.2 上编译没有错误,但 gcc7.2 和 clang 10.0.0 抱怨B不完整。Clangs 错误是:

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 …
Run Code Online (Sandbox Code Playgroud)

c++ language-lawyer incomplete-type declval

12
推荐指数
2
解决办法
583
查看次数

标签 统计

c++ ×1

declval ×1

incomplete-type ×1

language-lawyer ×1