c++ - SFINAE 的类型名称关键字

Question

这个问题已经有答案了:

Officially, what is typename for? [duplicate] (8 个回答)

已关闭 3 年前。

我正在研究现代 C++ 中的 SFINAE，我看到了以下代码:

#include <iostream>

struct Bar
{
    typedef double it;
};

template <typename T>
typename T::it Foo(const T& arg_f) {
    std::cout << "Foo<T>" << std::endl;
    return 0;
}

int Foo(int i) { std::cout << "foo(int)" << std::endl; return 0; }

int main(int argc, const char* argv[])
{
    Foo(Bar());
    Foo(0);

    return 0;
}

1. 为什么在这段代码中，开发人员使用类型名 T::it？
2. 该类型名称与 Bar 的结构有何关系？因为它变量只是在 bar 结构中定义，但它在结构之外用于函数声明。
3. SFINAE 到底是什么？

Answer 1

此处使用关键字typename，因为您正在访问模板类型参数的类型成员。

除了如果 T 是 Bar 那么它应该公开 it 类型成员以获得对过载。

替换失败不是错误是一种模板元编程模式，依赖于“删除”无法编译的重载