Por que SFINAE (enable_if) não funciona para funções de membro de um modelo de classe?

Em C , SFINAE (Falha de substituição não é um erro) permite que você ativar ou desativar o código dependendo do tipo de argumento do modelo. No entanto, ao lidar com funções de membro de um modelo de classe, SFINAE muitas vezes não funciona como esperado.

Aqui está um exemplo que demonstra o problema:

#include 

struct A {};
struct B {};

template 
struct Foo
{
    typename std::enable_if<:is_same a>::value>::type bar()
    {}

    typename std::enable_if<:is_same b>::value>::type bar()
    {}
};

Neste exemplo, Foo define duas funções de membro sobrecarregadas bar(). A primeira sobrecarga é habilitada quando T é A, e a segunda é habilitada quando T é B. No entanto, se você tentar compilar este código, receberá uma mensagem de erro indicando que as sobrecargas não podem ser resolvidas.

A razão para este erro é que SFINAE só funciona para argumentos de modelo deduzidos. No caso de funções-membro de um modelo de classe, o argumento do modelo não é deduzido, mas especificado explicitamente. Para corrigir o problema, você pode usar uma das seguintes técnicas:

• Use argumentos de modelo explícitos:

  struct Foo
  {
    void bar(A) {}
    void bar(B) {}
  };

• Use std::enable_if dentro das funções de membro:

  template 
  struct Foo
  {
    template
    typename std::enable_if<:is_same a>::value>::type bar() {}
  
    template
    typename std::enable_if<:is_same b>::value>::type bar() {}
  };

• Usar especialização explícita de modelo de classe:

  template  struct Foo { void bar() {} };
  template  struct Foo { void bar() {} };