SFINAE:它如何与派生类一起工作?

SFINAE: How it works with derived class?

本文关键字：一起 工作 派生 SFINAE      更新时间：2023-10-16

我写了以下代码：

template <typename Type>
class Int {
public:
int value;
};
template <typename Type>
class Class : public Int<Type> {};
int var;
template <typename Type>
void foo(Type newValue) {
var = newValue;
}
template <typename ClassType>
void foo(Int<ClassType>& newValue) {
var = newValue.value;
}
int main() {
Class<int> c;
foo(c);
}

我有编译错误，因为编译器尝试调用foo的第一个实现(如果我尝试删除它，代码可以正确编译(。编译器不是应该使用第二个实现吗，因为 SFINAE？

这里没有使用SFINAE。选择第一个foo重载是因为它产生比另一个更好的匹配(匹配是精确的，而不是另一个(。您可以尝试通过此处了解有关SFINAE的更多信息，我还建议您观看这个很棒的演讲以学习如何正确操作(演讲更高级(。
SFINAE 的意思是，在推断模板中的类型时，你会想出格式错误的代码，只要匹配某些内容就无关紧要。在您的情况下，两个模板都匹配，因此适用正常的解析规则。精简模板后，您的代码归结为：

struct Base { int value; }
struct Derived : public Base {};
int var;
void foo(Derived val) { var = val; }
void foo(const Base& val) { var = val.value; }
int main()
{
Derived bar;
bar.value = 3;
foo(bar); // will try to call first foo and compilation will fail
}
相关文章：