c++ - 作为模板参数，是否对返回类型施加约束？

Question

我有一个接受函数作为参数的模板化函数，例如

template <typename Function>
void apply(Function f) {
    // do something that invokes f(...)
}

我想限制它，以便 f()的返回类型必须是某种类型，例如 int。

我不想限制 f的参数(例如，假设它需要三个 int作为参数)。

Answer 1

这是一个天真的解决方案，结合了std::enable_if_t，std::is_same_v，decltype和std::declval:

#include <type_traits>

template <
    typename Function,
    typename = std::enable_if_t<
        std::is_same_v<
            decltype(std::declval<Function>()(
                std::declval<int>(),
                std::declval<int>(),
                std::declval<int>()
            )),
            int
        >
    >
>
void apply(Function f) {
    f(1,2,3);
}

int foo(int x, int y, int z);
char bar(int x, int y, int z);

int main()
{
    apply(foo);
    apply(bar);
}

( live demo)
foo有效，但 bar无效。

对于 foo的替代重载，这也应该表现出预期的效果，因为部分机制正在指定我们要提供给 Function的参数类型。