C言語・C++におけるコンパイラエラー C3190 の原因と対策について解説

#include <iostream>
// サンプル：構造体の定義
template <class T>
struct MyStruct {
    // デフォルトコンストラクタ(引数なし)
    MyStruct() {
        std::cout << "MyStruct default constructor" << std::endl;
    }
    // 引数を二つとるコンストラクタ
    MyStruct(T a, T b) {
        std::cout << "MyStruct parameterized constructor: " << a << ", " << b << std::endl;
    }
};
// 意図しない明示的インスタンス化(パラメータなしでインスタンス化しようとする)
template MyStruct<float>::MyStruct(); // 本来は引数のあるコンストラクタに対して期待される指定と不一致
int main() {
    // インスタンス生成の例(このコード自体はmain関数の中で実行可能)
    MyStruct<float> ms;
    return 0;
}

MyStruct default constructor

#include <iostream>
// クラスYの定義
struct Y {
    // メンバー関数テンプレート
    template <class T>
    void func(T value) {
        std::cout << "func value: " << value << std::endl;
    }
};
// 明示的インスタンス化で不正な型引数を指定(引数が2つの関数シグネチャに対して実行される)
template void Y::func<int>(int, int); // エラー発生のため不正なパラメータ数
int main() {
    Y y;
    y.func(42); // 正常に動作する呼び出し
    return 0;
}

func value: 42

#include <iostream>
// テンプレート構造体の定義
template <class T>
struct MyStruct {
    // コンストラクタ：引数を2つ取る
    MyStruct(T a, T b) {
        std::cout << "MyStruct constructor: " << a << ", " << b << std::endl;
    }
};
// 誤った明示的インスタンス化(パラメータなしのバージョンを指定している)
template MyStruct<double>::MyStruct(); // エラーとなる
int main() {
    // 正しい使用例
    MyStruct<double> ms(3.14, 2.71);
    return 0;
}

MyStruct constructor: 3.14, 2.71

#include <iostream>
// クラスYの定義
struct Y {
    // メンバー関数テンプレート：単一のパラメータを取る
    template <class T>
    void process(T value) {
        std::cout << "Processing: " << value << std::endl;
    }
};
// 明示的インスタンス化で不適切なパラメータを指定
template void Y::process<int>(int, int); // 余分なパラメータが含まれている
int main() {
    Y y;
    y.process(100);
    return 0;
}

Processing: 100

#include <iostream>
// 外側のクラステンプレートXの定義
template <class OuterT>
class X {
public:
    // 内側のメンバー関数テンプレートf2の定義
    template <class InnerT>
    void f2(InnerT inner, OuterT outer) {
        std::cout << "f2 called with inner: " << inner << " and outer: " << outer << std::endl;
    }
};
// 不正な明示的インスタンス化：型引数の不一致が原因
template void X<float>::f2<int>(int, char); // OuterTはfloatであるべきだが、実際はcharが渡される
int main() {
    X<float> x;
    x.f2<int>(10, 3.14f); // 正しい呼び出し例
    return 0;
}

f2 called with inner: 10 and outer: 3.14

#include <iostream>
// テンプレート構造体の定義
template <class T>
struct MyStruct {
    // コンストラクタ：引数を2つ取る
    MyStruct(T a, T b) {
        std::cout << "MyStruct constructor: " << a << ", " << b << std::endl;
    }
};
// 正しい明示的インスタンス化：コンストラクタのシグネチャに合わせた指定を行う
template MyStruct<float>::MyStruct(float, float);
int main() {
    MyStruct<float> ms(1.23f, 4.56f);
    return 0;
}

MyStruct constructor: 1.23, 4.56

#include <iostream>
// 外側のクラステンプレートXの定義
template <class OuterT>
class X {
public:
    // 内側のメンバー関数テンプレートf2の定義
    template <class InnerT>
    void f2(InnerT inner, OuterT outer) {
        std::cout << "f2 called with inner: " << inner << " and outer: " << outer << std::endl;
    }
};
// 正しい明示的インスタンス化：OuterTと内側の型引数InnerTに対して、適切な引数の型を指定
template void X<char>::f2<int>(int, char);
int main() {
    X<char> x;
    x.f2<int>(20, 'A'); // 'A'はchar型として正しい
    return 0;
}

f2 called with inner: 20 and outer: A