vs2015の可変個引数テンプレートにオーバーロードされたメンバー関数が見つかりません

enable_ifここで使用するには、whenの代替オプションを提供する必要がありますis_same<U, T>::value == false。理想的には、これは、すべての基本クラスメンバーbarをusing宣言で公開することによって実行できます...

using Foo<Ts...>::template bar;

残念ながら、これは規格で禁止されており、これを修正しないことが決定されました。したがって、別の方法でそれらを公開する必要があります。したがって、最も簡単な解決策はFoo<Ts...>::template bar()、次のようにのラッパーを作成することです。

template<typename T, typename... Ts>
class Foo<T, Ts...> : public Foo<Ts...>
{
public:
    // using Foo<Ts...>::template bar; // Sadly, this is forbidden.

    template<typename U>
    typename std::enable_if<std::is_same<U, T>::value, U >::type
        bar()
    {
        return mObj;
    }

    // Additional wrapper, to compensate for lack of valid syntax.
    template<typename U>
    typename std::enable_if<!std::is_same<U, T>::value, U >::type
        bar()
    {
        return Foo<Ts...>::template bar<U>();
    }

private:
    T mObj;
};

ただし、ラッパーは。をFoo<Ts...>::bar()返すため、を呼び出すことができないことに注意してくださいvoid。Uがパックのメンバーではない場合に使用することを目的とした一般的なケースであると仮定すると、これを修正する方法は2つあります。

• 変更しFoo<Ts...>::bar()ます。

  template<typename... Ts>
  class Foo
  {
  public:
      template<typename T>
      T bar()
      {
          // Return an invalid value.
          return T{-1};
      }
  };
  

• のメンバーでないFoo<T, Ts...>::bar()場合に使用する、の3番目のバージョンを提供します。これはを返します。このためには、特性を定義して、それがパックに含まれているかどうかを検出すると便利です。UT, Ts...Foo<Ts...>::bar()

  template<typename...>
  struct is_in_pack : std::false_type {};
  
  template<typename U, typename T1, typename... Ts>
  struct is_in_pack<U, T1, Ts...> :
      std::integral_constant<bool,
                             std::is_same<U, T1>::value ||
                             is_in_pack<U, Ts...>::value>
  {};
  

  次に、トレイトを使用する必要があります。

  template<typename T, typename... Ts>
  class Foo<T, Ts...> : public Foo<Ts...>
  {
  public:
      // using Foo<Ts...>::template bar; // Sadly, this is forbidden.
  
      template<typename U>
      typename std::enable_if<std::is_same<U, T>::value, U >::type
          bar()
      {
          return mObj;
      }
  
      // Additional wrapper, to compensate for lack of valid syntax.
      // U is a member of <T, Ts...>.
      template<typename U>
      typename std::enable_if<!std::is_same<U, T>::value &&
                              is_in_pack<U, T, Ts...>::value, U >::type
          bar()
      {
          return Foo<Ts...>::template bar<U>();
      }
  
      // Additional wrapper, to compensate for lack of valid syntax.
      // U isn't a member of <T, Ts...>.
      template<typename U>
      typename std::enable_if<!is_in_pack<U, T, Ts...>::value>::type
          bar()
      {
          return Foo<>::bar();
      }
  
  private:
      T mObj;
  };
  

これらのオプションのうち、現在のコードにより近いので、後者をお勧めします。

簡単なテスト。
複雑なテスト。