c++ - C++ 如何实现 std::is_class

Question

这里是 std::is_class 在 mac 中的实现。我不明白“int _Tp::*”的参数是什么。有人可以解释一下吗？参数的类型是什么，参数的名称是什么？谢谢。

另一个问题是省略号。在 C 中，它至少需要一个参数在省略号之前，但在 C++ 中，它可以只是省略号。在哪里可以找到这部分的标准？

namespace __is_class_imp
{
template <class _Tp> char  __test(int _Tp::*);
template <class _Tp> __two __test(...);
}

template <class _Tp> struct _LIBCPP_TYPE_VIS_ONLY is_class
    : public integral_constant<bool, sizeof(__is_class_imp::__test<_Tp>(0)) == 1 && !is_union<_Tp>::value> {};

Answer 1

要回答您的其中一个问题，__test(...) 函数接受任意数量的任意类型的参数。但它们不能被使用。 va_start宏需要一个先前的参数才能工作，没有它就无法获得任何参数。

这样做的原因是 __test 可以与任何类型的参数一起使用，但实际上不会被实现。这是可行的，因为该函数仅在编译时使用，不会发生实际调用。由于它已过载，编译器将根据使用的类型执行不同的操作。