函数模板和 void [关闭]

Question

为什么我在以下代码中遇到错误？我该如何解决？

#include <functional>
#include <iostream>

int foo()
{
    std::cout << "::foo() \n";
    return 0;
}

void bar()
{
    std::cout << "::bar() \n";
}

template <typename T>
T Hook(const std::function<T()>& action, T def = T())
{
    try
    {
        return action();
    }
    catch (const std::exception& ex)
    {

    }
    catch (...)
    {

    }
    return def;
};

int main()
{
    std::function<int()> foo_func(foo);
    Hook(foo_func);

    std::function<void()> bar_func(bar);
    // Hook(bar_func); // Error
}

Answer 1

在询问编译器/链接器错误时，始终在您的问题中包含错误。

不过，问题在于bar 返回void，这意味着Hook 的T 的模板参数被推导出为void。然后，对于def 的默认参数，您正在尝试创建void 类型的对象。这当然是违法的。

您必须为void 函数提供Hook 的特化（或者更好的是重载）：

template <typename T>
T Hook(const std::function<T()>& action, T def = T())
{
    try
    {
        return action();
    }
    catch (const std::exception& ex)
    {

    }
    catch (...)
    {

    }
    return def;
};


void Hook(const std::function<void()>& action)
{
    try
    {
        action();
    }
    catch (const std::exception& ex)
    {

    }
    catch (...)
    {

    }
};