引数なしの可変長引数テンプレート関数のオーバーロードの解決方法

前提・実現したいこと

以下の可変長引数テンプレートメンバ関数Init()のオーバーロードを解決したい。

c++
1#include <vector>
2#include <type_traits>
3
4struct Base {};
5struct Derived : Base {};
6
7template<class... T>
8struct A {
9  A() { Init<T...>(); }
10private:
11  template<class Head, class... Body>
12  void Init() {
13    if (std::is_base_of<Base, Head>) return;
14    bases_.emplace_back(new Head);
15    Init<Body...>();
16  }
17  template<class Head>
18  void Init() {
19    if (std::is_base_of<Base, Head>) return;
20  };
21  std::vector<Base*> bases_;
22};
23
24
25int main() {
26  A<Derived> a;	
27}

発生している問題・エラーメッセージ

'void A<Derived>::Init<Derived>(void)' の可能性があります
または 'void A<Derived>::Init<Derived,>(void)'

行動規範の内容に同意します

回答1件

ベストアンサー

C++ におけるオーバーロードは、候補をひとつに絞れないならエラーです。この場合は (オーバーロードではなく) 部分特殊化であるべきなのですが、関数は部分特殊化はできません。

このようなときによく使われるテクニックとしては、クラス内にヘルパとなるクラスを作って部分特殊化する方法があります。

具体的なコードとしてはこのようなものです。

#include <vector>
#include <type_traits>

struct Base {};
struct Derived : Base {};

template<class... T>
struct A {
  A(void) { Init<T...>(); }
private:
  template<class Head, class... Body>
  struct init_helper {
    static void Init(std::vector<Base*>& bases_) {
      if (std::is_base_of<Base, Head>::value) return;
      bases_.emplace_back(new Head);
      init_helper<Body...>::Init(bases_);
    }
  };

  template<class Head>
  struct init_helper<Head> {
    static void Init(std::vector<Base*>&) {
      if (std::is_base_of<Base, Head>::value) return;
    }
  };

  template<class Head, class... Body>
  void Init(void) {
    init_helper<Head, Body...>::Init(this->bases_);
  }
  
  std::vector<Base*> bases_;
};

int main(void) {
  A<Derived> a;    
}

投稿2020/09/06 23:53