C++ 模板 - 完整指南：关于 decltype 和返回类型的脚注措辞

Question

C++ 模板 - 完整指南第 2 版在第 436 页有以下脚注（我的粗体）：

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

脚注指的是使用decltype(std::declval<T>().begin())（无效，基于脚注）来测试在T 上调用.begin() 是否有效。使用它的代码如下（为了清楚起见，它周围有一些文本：

诀窍是制定表达式来检查我们是否可以在 decltype 表达式中调用 begin() 以获得附加函数模板参数的默认值：

#include <utility>      // for declval
#include <type_traits>  // for true_type, false_type, and void_t
// primary template:
template<typename, typename = std::void_t<>>
struct HasBeginT : std::false_type {};
// partial specialization (may be SFINAE’d away):
template<typename T>
struct HasBeginT<T, std::void_t<decltype(std::declval<T>().begin())>>
  : std::true_type {
};

在这里，我们使用decltype(std::declval<T>().begin()) 来测试给定T 类型的值/对象（使用std::declval 以避免需要任何构造函数），调用成员begin() 是否有效。

从this previous question of mine了解到，既然operator,可以被重载，那么, 0的作用就是触发否则不存在的重载解析，而这又需要std::declval<T>().begin()的类型是完整的.

但是，书中的文字（参见上面粗体突出显示的部分）没有提到operator,，也没有提到重载决议。这只是糟糕的措辞吗？或者也许只是从不同的角度看待同一件事？还是什么？

Answer 1

作者似乎忘记或忽略了, 被超载的可能性。整个技术在这方面存在缺陷，不仅仅是措辞。

因此，如果begin() 有效并返回完整类型，但, 已重载且由于某种原因无法调用，则会得到假阴性。

更强大的解决方案是decltype(void(std::declval<T>().begin()))。