如何用C++20 requires表达式编译期检测函数模板特化是否存在？

你的问题核心是依赖上下文中调用成员模板时缺少template关键字，导致编译器无法正确解析OnEvent<E>是模板函数调用，进而让requires表达式始终判定为无效。

错误原因 #

在ScriptComponent的ImplementsEventFunction中，T是模板参数（依赖类型），当你写t.OnEvent<E>(e)时，编译器无法确定OnEvent是一个成员模板，会把<当成小于运算符处理，导致语法错误，最终requires表达式返回false。

修正后的代码 #

1. 修复ScriptComponent的检测逻辑 #

#include <type_traits>

class Script {};

template<class T>
class ScriptComponent
{
    static_assert(std::is_base_of_v<Script, T>, "T must derive from Script!");

private:
    T m_ScriptInstance;

public:
    template<typename E>
    constexpr static bool ImplementsEventFunction()
    {
        constexpr bool isImplemented = requires(const T& t, const E& e)
        {
            // 关键：在依赖类型的成员模板调用前添加template关键字
            t.template OnEvent<E>(e);
        };
        return isImplemented;
    }
};

2. 事件监听类示例 #

class SomeEvent {};
class SomeOtherEvent {};

class SomeScript : public Script
{
public:
    template<typename E>
    void OnEvent(const E&) = delete;

    template<>
    void OnEvent<SomeEvent>(const SomeEvent& e)
    {
        // 事件处理逻辑
    }
};

3. 验证用法 #

constexpr bool a = ScriptComponent<SomeScript>::ImplementsEventFunction<SomeEvent>(); // 返回true
constexpr bool b = ScriptComponent<SomeScript>::ImplementsEventFunction<SomeOtherEvent>(); // 返回false

补充说明 #

• 当处理依赖类型（即依赖于模板参数的类型）的成员模板时，必须使用template关键字告诉编译器：后面的OnEvent是一个模板，<>是模板参数列表而非比较运算符。
• 类成员函数模板的显式特化更标准的写法是放在类外部声明，比如：

class SomeScript : public Script
{
public:
    template<typename E>
    void OnEvent(const E&) = delete;
};

// 类外部定义显式特化
template<>
void SomeScript::OnEvent<SomeEvent>(const SomeEvent& e)
{
    // 事件处理逻辑
}

内容的提问来源于stack exchange，提问作者Thomas