2
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; } 它在gcc9.2上编译时没有错误，但gcc7.2和clang 10.0.0抱怨B未完成。lang的错误是： prog.cc:11:58: error: member access into incomplete …