struct A { void a() { puts("a"); } };
struct B { void b() { puts("b"); } };
struct C : A, B {};
template <typename T> decltype(&T::a, (void)0) SFINAE(T t) { t.a(); }
template <typename T> decltype(&T::b, (void)0) SFINAE(T t) { t.b(); }
int foo()
{
SFINAE(A{}); // works fine, calls a
SFINAE(B{}); // works fine, calls b
SFINAE(C{}); // compile error
}
当使用具有 a
和 b
的类型调用 SFINAE 时,上述代码失败,从而使两个模板都有效,从而导致调用不明确。在模棱两可的情况下,如何修复上述代码以更喜欢第一个重载?所以 SFINAE(C{})
应该调用 a
。
最佳答案
您可以通过引入转换来消除调用的歧义:
template <typename T> decltype(&T::a, (void)0) impl(T t, int) { t.a(); }
template <typename T> decltype(&T::b, (void)0) impl(T t, unsigned) { t.b(); }
template <typename T> void SFINAE(T && t) { impl(std::forward<T>(t), 42); }
传递 int
类型的 42
,编译器将选择第一个重载作为更好的匹配。
关于c++ - 当多个重载通过 SFINAE 时创建首选重载,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/56987763/