为什么 SFINAE 对于类模板成员函数失败？

SFINAE 类模板成员函数失败

替换失败，不是错误 (SFINAE) 机制，常用于模板元编程，当应用于类模板成员函数时，似乎表现出特殊的行为。

问题

考虑以下代码片段：

<code class="cpp">#include <type_traits>

struct A{};
struct B{};

template <typename t>
struct Foo
{
    // Conditional enable bar() for T == A
    typename std::enable_if<:is_same a>::value>::type
    bar()
    {}

    // Conditional enable bar() for T == B
    typename std::enable_if<:is_same b>::value>::type
    bar()
    {}
};</:is_same></:is_same></typename></type_traits></code>

此代码尝试在 Foo 类模板中定义 bar() 的两个重载，并使用 SFINAE 根据 T 的值有条件地启用每个重载。但是，代码无法编译，并出现以下错误：

<code class="cpp">error: 'typename std::enable_if<:is_same b>::value>::type Foo<t>::bar()' cannot be overloaded</t></:is_same></code>

说明

SFINAE 通常用于启用或禁用基于模板参数的模板专业化。但是，SFINAE 仅适用于 推导的 模板参数，这意味着在重载解析期间自动推导的参数。对于成员函数，模板参数不是推导的，而是在实例化类时显式指定的。因此，SFINAE 不适用于成员函数。

解决方案

解决这个问题主要有两种方法：

• 使用函数模板：为每个重载定义单独的函数模板，如下所示：

<code class="cpp">template <typename t>
void bar(Foo<t>
void bar(Foo<t><ul><li>
<strong>使用显式类模板特化：</strong>定义单独的函数模板每个重载的类模板，如下所示：</li></ul>
<pre class="brush:php;toolbar:false"><code class="cpp">template <typename> struct Foo;

template  struct Foo<a> { void bar() {} };
template  struct Foo<b> { void bar() {} };</b></a></typename></code>

以上是为什么 SFINAE 对于类模板成员函数失败？的详细内容。更多信息请关注PHP中文网其他相关文章！