C++17及更早：编译时检测模板参数自身是否定义指定静态成员函数

问题场景 #

在静态CRTP模式中，若派生类未自行定义initialize()静态函数，基类的initialize()会递归调用Derived::initialize()，最终引发调用栈溢出。需要一种编译时机制，精准判断模板参数是否自身定义了目标静态方法，排除从基类继承的版本。

解决方案 #

利用C++的SFINAE特性与成员指针类型区分，实现编译时检测。核心思路是：当类自身定义了目标静态函数时，其成员指针类型与基类版本的指针类型存在差异，通过这一点来区分继承的方法和自身定义的方法。

实现代码 #

首先定义检测特性模板：

#include <type_traits>

// 自定义void_t兼容C++14（C++17可直接用std::void_t）
#if __cplusplus < 201703L
template<typename...>
using void_t = void;
#endif

// 默认模板：未检测到自身定义的initialize
template <typename T, typename = void>
struct has_own_initialize : std::false_type {};

// 特化模板：当T自身存在static void initialize()时匹配
template <typename T>
struct has_own_initialize<T, void_t<
    decltype(&T::initialize),
    std::enable_if_t<
        // 核心判断：&T::initialize的类型是否为T自身的静态函数指针
        std::is_same<decltype(&T::initialize), void (*)()>::value
    >
>> : std::true_type {};

// 辅助变量模板，简化使用
template <typename T>
constexpr bool has_own_initialize_v = has_own_initialize<T>::value;

修改CRTP基类，加入编译时断言：

template <typename Derived>
class Base {
public:
    static void initialize() {
        // 编译时强制检查：派生类必须自行定义initialize
        static_assert(has_own_initialize_v<Derived>, 
                      "Derived class must implement its own static initialize() function");
        Derived::initialize();
    }
};

// 合法派生类：自行定义了initialize
class Derived : public Base<Derived> {
public:
    static void initialize() {
        // 自定义初始化逻辑
    }
};

// 非法派生类：未自行定义initialize，编译阶段会触发断言报错
// class InvalidDerived : public Base<InvalidDerived> {};

原理说明 #

• void_t用于触发SFINAE：如果decltype(&T::initialize)无法通过编译（即T没有该成员），则特化模板不会生效，默认的false_type被选用。
• 核心的std::is_same判断：当T自身定义了static void initialize()时，&T::initialize的类型是void (*)()；如果T仅继承了基类的initialize，则&T::initialize实际指向基类的成员，其类型为void (Base<T>::*)()，与void (*)()不匹配，因此特化模板不会生效，特性值为false。

兼容性说明 #

• 代码兼容C14及以上版本，C17可直接替换为标准库的std::void_t和std::is_same_v。
• 若目标静态函数有参数或返回值，只需调整std::is_same中的函数指针类型即可适配。

内容的提问来源于stack exchange，提问作者Anurag S Sharma