导失败因为codice_3并无嵌套数据类型codice_4, 但程序仍是良好定义的，因为候选函数集中还有一个有效的函数。虽然SFINAE最初引入时是用于避免在不相关模板声明可见时（如通过包含头文件）产生不良程序。许多程序员后来发现这种行为可用于编译时内省（introspection）。具体说，在模板实例化时允许模板确定模板参数的特定性质。例如，SFINAE用于确定一个类型是否包含特定typedef：template <typename T>struct has_typedef_foobar {