如何通过 static_assert 检查函数签名是否正确

Question

代码

我有一个遵循Observer Pattern 的模板类型。

template <typename T>
class Subject {
public:
    template <template<typename> typename Observer>
    void AddObserver(Observer<T>& observer)
    {
        observers.push_back([&](const T& value) { observer.OnEvent(value); });
    }

    void Event(const T& value) const
    {
        for (auto& o : observers) { 
            o.OnEvent(value) 
        }
    }

private:
    std::vector<std::function<void(const T&)>> observers;
};

上面的效果很好，但前提是Observer 是模板类型。所以我可以修改模板签名并接受任何类型，不管它们是否被模板化。

    template <typename Observer>
    void AddObserver(Observer& observer)
    {
        observers.push_back([&](const T& value) { observer.OnEvent(value); });
    }

---

问题

但是现在没有对 Subject 和 Observer 之间的类型匹配进行任何编译时检查。 （EDIT已经指出，不能保证Observer<T>在其OnEvent函数签名中实际使用T）

我想向检查Subject<**T**> 和Observer::OnEvent(const **T**&) 两种类型是否相同的函数添加一个静态转换，以防止自动类型转换。如下所示。

static_cast(std::is_same<T, **type_of_first_param**(Observer::OnEvent)>::value, "Subject/Observer type mistatch.");

---

我需要帮助的可能方法

如果我不能从函数签名中提取类型，也许我可以构造一个可以与之比较的函数签名？

static_cast(std::is_same<**Observer::MadeUpFunc(const T&)**, Observer::OnEvent>::value, "Subject/Observer type mistatch.");

我正在调查this QA，我很确定它可以找到我需要的答案，只是需要一些时间，也许还需要一些指导来弄清楚。

我尝试了以下方法，但得到编译时错误

typename 说明符指的是 'Observer' 中的非类型成员 'OnEvent'

static_assert(std::is_same<typename Observer::OnEvent, void (Observer::*)(const T&...)>::value, "");

---

我尝试过的

• 我已阅读此处的文档cppreference.com/w/cpp/types
• 我已经阅读了这里cppreference.com/w/cpp/language 的一些文档，即Functions 和Templates 下的部分
• 我读过这个drdobbs.com/cpp/extracting-function-parameter-and-return
• 我看过这些类似 QAs Extracting function argument types as a parameter pack, “unpacking” a tuple to call a matching function pointer

---

Answer 1

我不清楚你在这里想要什么限制。 最严格的做法是强制执行以下内容：

static_assert(std::is_same_v<decltype(&Observer::OnEvent),
                             void (Observer::*)(const T&) const>);

如果OnEvent 函数不能是template，它不能返回除void 之外的任何东西，它需要标记为const，它必须采用const T& , 即使T 是int。