C++模板-完整指南：了解有关dectype和返回类型的脚注注释

C++模板-完整指南第2版在第435页提供了以下代码

#include <string>
#include <type_traits>

template<typename T, typename = void>
struct HasBeginT : std::false_type {};

template<typename T>
struct HasBeginT<T, std::void_t<decltype(std::declval<T>().begin())>>
    : std::true_type {};

并评论decltype(std::declval<T>().begin())用于测试在T上调用.begin()是否有效。

我认为这一切都有道理…

让我吃惊的是脚注中的评论：

不同于其他上下文中的调用表达式，decltype(call-expression)不要求非引用、非void返回类型是完整的。相反，使用decltype(std::declval<T>().begin(), 0)确实增加了调用的返回类型必须完整的要求，因为返回值不再是decltype操作数的结果。

我不太明白。

在尝试使用它时，我尝试使用以下代码查看它对void成员begin的行为。

struct A {
    void begin() const;
};

struct B {
};

static_assert(HasBeginT<A>::value, "");
static_assert(!HasBeginT<B>::value, "");

但这两个断言都通过或不使用, 0。

---

解决方案

您的演示使用void begin() const;测试以下内容

..。而是添加了调用的返回类型为Complete.

的要求

但void返回类型与不完整的返回类型不同。为此，您可以尝试

struct X;

struct A {
    X begin() const;
};

这里，X确实是不完整的，现在, 0很重要。使用它，第一个static_assert不会通过，但它不会通过, 0。

demo