C++11 模板和回调返回具有 void 特化/重载的类型

Question

这是一个人为的例子，但它是重现我的问题的最少代码量。

这里我传递一个函数回调，结果被转换为字符串并推入向量。这适用于任何具有to_string 实现的类型。 （我使用函数指针而不是 std::function 因为一些函数来自第三方 C 库）

#include <vector>
#include <string>

template<typename R>
void Example(std::vector<std::string> &vec, R (*func)()) {
    auto r = func();
    vec.push_back(std::to_string(r));
}

int main(int argc, char **argv ) {
    std::vector<std::string> vec;

    Example(vec, static_cast<int(*)()>([]() -> int{
        return 0;
    }));

    Example(vec, static_cast<double(*)()>([]() -> double{
        return 0.0;
    }));
} 

然而，一种特殊情况是void。在这种情况下，我不希望将任何东西推送到向量。

// This obviously does not compile.
Example(vec, static_cast<void(*)()>([](){
    auto a = 0;
}));

我知道我可以重载Example，即

void Example(std::vector<std::string> &vec, void (*func)()) {
    func();
}

但在我的实际应用程序中，Example 要复杂得多，并且重载会导致大量复制粘贴代码。我尝试使用type_traits，但无法使用。

我还缺少另一种方法吗？

Answer 1

if constexpr 允许您有条件地编译代码，前提是条件取决于模板参数。对于 if constexpr 和 #include<type_traits> 对于 std::is_same_v 类型特征，这需要 C++17。

template<typename R>
void Example(std::vector<std::string> &vec, R (*func)()) {
    if constexpr(std::is_same_v<R, void>) {
        func();
    } else {
        auto r = func();
        vec.push_back(std::to_string(r));
    }
}