std::vector<int> 型のテンプレートクラスが作れない

Question

提示コードですが以下のエラーを解決することが　できずに困っています。何とかをしていせんとかと言われているので簡単なミスにも思えますがどうしてもコンパイルエラーを直せません。どうすればstd::vector<int>型のテンプレートクラスが作れるのでしょうか？ソースファイル側でエラーがでます。int型ではエラーなしに実行できました。

エラー[
クラス型のテンプレート パラメーターは、構造クラス型である必要があります
]

エラー[
名前の後に '::~' を付けることができるのはクラス名または名前空間名だけです
]

エラー[
クラス テンプレート "sample" の引数リストがありません
]

#include "Header.hpp"
#include <iostream>
#include <vector>

test::test()
{
	printf("test\n");
}

void test::f()
{
	printf("fff\n");
}



template<std::vector<int>>
sample::sample(std::vector<int> a):test()
{
	printf("sample");
}

void sample::f()
{
	printf("えええ\n");
}

#include <iostream>
#include <vector>

class test
{
public:

	test();
	void f();
};

template<class type>
class sample : private test
{
public:
	sample(type a);

	void f();
	
};




template<>
class sample<std::vector<int>> : private test
{
public:
	sample(std::vector<int> a);

	void f();

};

Comments

[episteme]

https://teratail.com/questions/312351 では解決せんかったのか？

[退会済みユーザー]

解決したのですがstd::vectorを使うとさっきの質問では解決しないため質問しました。

[episteme]

std::string を std::vector<int> に取り替えたらエラー? そんなはずはないんだが。

[退会済みユーザー]

そうですかね？正確にはstd::vector<Game::Vertex>>; という構造体のベクターなんのですが。
ソース部の書き方もあってますでしょうか？前の質問で

[episteme]

Game::Vertex が何者かわからんので答えようがない
てかあなた、ベストアンサーつけたやんか。

Answer 1

#include <iostream>
#include <vector>

class test {
public:
    test();
    void f();
};

template<class type>
class sample : private test {
public:
    sample(type a);
    void f();
};

template<>
class sample<std::vector<int>> : private test {
public:
    sample(std::vector<int> a);
    void f();
};

test::test() { printf("test\n"); }
void test::f() { printf("fff\n"); }

template<class type>
sample<type>::sample(type a) { printf("sample<type>\n"); }
template<class type>
void sample<type>::f() { printf("sample<type>::f\n"); }


sample<std::vector<int>>::sample(std::vector<int> a):test() { printf("sample<std::vector<int>>\n"); }
void sample<std::vector<int>>::f() { printf("えええ\n"); }

int main() {
  sample<int> sample_int(123); 
  sample_int.f();

  std::vector<int> v;
  sample<std::vector<int>> sample_vector(v); 
  sample_vector.f();
}

Answer 2

テンプレートを用いたクラスや関数を書く時明示的実体化でも行っていない限り
ヘッダーに実装も書きこんで下さい。

// Hearder.hpp
#pragma once 

#include <iostream>
#include <vector>

struct Test
{
    Test()
    {
        std::cout << "親クラスのTestのデフォルトコンストラクタ" << std::endl;
    }
    
    virtual void f()
    {
        std::cout << "親クラスのfメソッド" << std::endl;
    }
};

template<class Type>
struct Sample:public Test
{
    explicit Sample(const Type a)
    {
        std::cout << "子クラスのSample<type>のコンストラクタ" << std::endl;
    }
    
    void f()override
    {
        std::cout << "Sample<type>クラスでオーバーライドしたfメソッド" << std::endl;
    }
};

template<> Sample<std::vector<int>>::Sample(const std::vector<int> a)
{
    std::cout << "子クラスのSample<std::vector<int>>のコンストラクタ" << std::endl;
}

template<> void Sample<std::vector<int>>::f(){
    std::cout << "Sample<std::vector<int>>クラスでオーバーライドしたfメソッド" << std::endl;
}

// main.cpp
#include "./Hearder.hpp"
#include <vector>

int main()
{
    int int_v = 0;
    auto vec_int_v = std::vector<int>();
    
    auto s1 = Sample<int>(int_v);
    auto s2 = Sample<std::vector<int>>(vec_int_v);
    
    s1.f();
    s2.f();
    return 0;
}

wandboxで実行

ちなみにc++17を使える環境なら
if constexprで特殊化の所を書かずにコードを簡略化可能です。

// Hearder.hpp
#pragma once

#include <iostream>
#include <vector>
#include <type_traits>

struct Test
{
    Test()
    {
        std::cout << "親クラスのTestのデフォルトコンストラクタ" << std::endl;
    }
    
    virtual void f()
    {
        std::cout << "親クラスのfメソッド" << std::endl;
    }
};

template<class Type>
struct Sample:public Test
{
    explicit Sample(const Type& a)
    {
        if constexpr(std::is_same_v<std::vector<int>, Type>) 
            std::cout << "子クラスのSample<std::vector<int>>のコンストラクタ" << std::endl;
        else std::cout << "子クラスのSample<type>のコンストラクタ" << std::endl;
    }
    
    void f()override
    {
        if constexpr(std::is_same_v<std::vector<int>, Type>) 
            std::cout << "Sample<std::vector<int>>クラスでオーバーライドしたfメソッド" << std::endl;
        else std::cout << "Sample<type>クラスでオーバーライドしたfメソッド" << std::endl;
    }
};

wandboxで実行

Comments

[退会済みユーザー]

質問ですが明示的具体化をしたいのですがどうすればいいのでしょうか？サンプルコードをお願いできますか？

[退会済みユーザー]

少しコードが長くなってしまったのでwandboxに書きました。
https://wandbox.org/permlink/Sy9gypxMz0PdzfLr
上記urlの先のsample.cppファイルをご覧ください。
そのファイルの最後の二行に実体化を行う部分が記載されています。
しかし明示的実体化を行う場合
template class Sample<int>;// intで実体化
template class Sample<std::vector<int>>;// std::vector<int>で実体化
のように使用する型をわざわざ列挙せねばならず面倒なので
ヘッダーに実装も書いてしまう事をおすすめします。

Answer 3

前回質問でepistemeさんが書かれたコードはわからなかったということでしょうか…

-template<std::vector<int>>
-sample::sample(std::vector<int> a):test()
+sample<std::vector<int>>::sample(std::vector<int> a) : test()
{
    printf("sample");
}

-void sample::f()
+void sample<std::vector<int>>::f()
{
    printf("えええ\n");
}

Comments

[退会済みユーザー]

わかったのですがstd::vectorになるとエラーになるので手におえなくなりましたｗ