c++ - 函数模板 c++ 的显式特化

Question

template <typename T>
bool validate(const T& minimum, const T& maximum, const T& testValue) {
    return testValue >= minimum && testValue <= maximum;
}

template <> 
bool validate<const char&>(
    const char& minimum,
    const char& maximum,
    const char& testValue)
{
    char a = toupper(testValue);
    char b = toupper(minimum);
    char c = toupper(maximum);
    return a >= b && a <= c;
}

这是函数模板，不知何故在 main 中调用 validate 函数时，它从不使用第二个函数(const char&) 即使参数是 char。谁能看出我的问题出在哪里？

Answer 1

您特化的类型 - const char& 与 T 推导的内容不匹配，因为当您传递 char 时 - 它推导为 字符!

(模板类型参数只能在存在通用引用的情况下推导出引用)

所以，

template <> 
bool validate<char> ...

---

无论如何，你为什么不重载呢？