没有定义的类函数如何不会导致错误

Question

我在学习一些 C++ 习语时遇到了 SFINAE 的示例代码，我对代码感到困惑。

注意：is_ptr() 没有定义。

1. 我自己编译了代码，没有关于缺少函数定义的编译器错误，为什么？

2. sizeof() 用于其中一个调用，它显然是在函数返回时执行的，但话又说回来，没有定义。这怎么可能？

   template <typename T>
   struct is_pointer
   {
      template <typename U>
         static char is_ptr(U*);
   
      template <typename X, typename Y>
         static char is_ptr(X Y::*);
   
      template <typename U>
         static char is_ptr(U (*)());
   
      static double is_ptr(...);
   
      static T t;
      enum {value = sizeof(is_ptr(t)) == sizeof(char)};
   };
   

Answer 1

sizeof 是所谓的未评估上下文。在其中，表达式只需要格式正确，实际上不会执行任何操作。所以一个只声明的函数可以在内部使用而不需要实际定义。

这是因为确定类型信息不需要定义。在这种情况下，ADL 选择的重载就是所讨论的类型信息。它的返回类型也可以单独从声明中获得。