e_6，唯一可用函数是第二个codice_7定义，且表达式的结果类型为codice_11。省略号（ellipsis）不仅用于接收任何类型，它的转换的优先级是最低的，因而优先匹配第一个定义，这去除了二义性。
C++11的简化.C++11中，上述代码可以简化为:template <typename... Ts>using void_t = void;template <typename T, typename = void>struct has_typedef_foobar