与枚举匹配的模板函数中的 C++ 无法解释的变化

Question

我有以下包含模板函数的代码。当我使用第二个参数作为枚举调用此函数时:在某些情况下，它会找到模板特化，而在某些情况下，它不会。

我已验证枚举在两种情况下都是相同的枚举(例如，没有重新定义)并且其他参数具有正确的值，我发现一个编译是使用 -Winline set 完成的(我还没有尝试更改它)还有什么要看的？

class A {
public:
    template <typename T>
    int f(uint32_t id, T const& t, bool cond);

    ...
};

template <typename T>
int A::f(uint32_t id, T const& t, bool cond)
{
   ...
}

template <>
inline int A::f<int>(uint32_t, int const& t, bool cond)
{
   ....
}

Answer 1

对于初学者来说，通常不建议使用模板特化作为重载模板函数的方式。模板特化与函数重载的交互很差，并且在选择它们时有一些非常神秘的规则来规定，一般来说，人们认为只提供常规函数重载比特化函数模板更好。

在这种情况下，我建议您将类更改为如下所示:

class A {
public:
    template <typename T>
        int f(uint32_t id, T const& t, bool cond);
    int f(uint32_t id, int t, bool cond);
    ...
};

然后将您的模板特化更改为重载的实现。由于 C++ 函数重载的工作方式，这将更准确地选择函数的正确版本。

至于您的特定问题，您的代码并不总是调用重载的原因是 C++ 区分枚举类型和 int 类型。虽然有一些方法可以在 int 和枚举类型之间进行转换，但它们不是一回事，并且设计用于捕获 int 的重载不能保证捕获枚举类型以及。您最好专门重载函数来处理枚举的情况。