C++ コンパイル エラー: テンプレートのオーバーロードが無効です。解決方法は?

C は、さまざまなアプリケーションの開発に一般的に使用される強力なプログラミング言語です。ただし、C コードを作成する過程では、必然的にさまざまな問題に遭遇します。その 1 つは、無効なテンプレートのオーバーロードの問題です。この問題を適切に処理しないと、コンパイル エラーが発生します。では、この問題をどのように解決すればよいでしょうか?

まず、テンプレートのオーバーロードとは何かを理解する必要があります。 C では、テンプレートのオーバーロードとは、名前は同じだがパラメータの数や型が異なる複数のテンプレートを宣言することを指します。異なるパラメーターを持つクラスまたは関数テンプレートを使用する場合、コンパイラーは、テンプレートで定義されたパラメーターの型に基づいて、適切なテンプレートを自動的に選択します。ただし、テンプレートを定義するときに、同じパラメータの型と番号で複数のテンプレートが定義され、戻り値の型も同じである場合、無効なテンプレートのオーバーロードの問題が発生します。

次に、無効なテンプレートのオーバーロードに関する一般的な問題とその解決策をいくつか見てみましょう:

1. エラー例 1:

template <typename T>
void print(T x) {
    cout << "x = " << x << endl;
}

template <typename T>
void print(T* x) {
    cout << "x* = " << *x << endl;
}

int main() {
    int x = 1;
    int* ptr = &x;
    print(x);   // 1
    print(ptr); // Cannot resolve overloaded function 'print' 
    return 0;
}

この例では、同じ名前でパラメータが異なる 2 つのテンプレート関数 print を定義します。これらはそれぞれ変数とポインタを出力するために使用されます。ただし、ポインター パラメーターを指定して print 関数を使用すると、コンパイル エラーが発生します。

これは、C コンパイラがパラメーターの型を通じてどの関数テンプレートを呼び出すかを決定する必要があるためです。この例では、ポインタも T 型のパラメータですが、int 型ではありません。したがって、コンパイラはどの関数を呼び出すかを決定できず、テンプレートのオーバーロードが無効になります。この問題を解決する方法は、以下に示すように、ポインター パラメーターに別の型を指定することです。

template <typename T>
void print(T x) {
    cout << "x = " << x << endl;
}

template <typename T>
void print(T* x) {
    cout << "x* = " << *x << endl;
}

template <typename T>
void print(T*& x) { // 指针引用增加参数类型
    cout << "x* = " << *x << endl;
}

int main() {
    int x = 1;
    int* ptr = &x;
    print(x);   // 1
    print(ptr); // x* = 1
    return 0;
}

この例では、新しいテンプレート関数 print(T*& x)# を追加しました。 ##、この関数にはポインタ参照パラメータ型があり、結果はポインタを正常に出力できます。

エラー例 2:

template <typename T1,typename T2>
void swap(T1& a, T2& b) {
    T1 temp = a;
    a = b;
    b = temp;
}

template <typename T>
void swap(T& a, T& b) {
    T temp = a;
    a = b;
    b = temp;
}

int main() {
    int x = 1,y = 2;
    double d1 = 1.1,d2 = 2.2;
    swap(x,y);
    swap(d1,d2);
    swap(x,d2); // Cannot resolve overloaded function 'swap'
    return 0;
}

ログイン後にコピー

swap を定義します。1 つは次のとおりです。 1 つは異なる型の 2 つの変数を交換するために使用され、もう 1 つは同じ型の変数を交換するために使用されます。ただし、int 型の変数を double 型の変数と交換すると、別のコンパイル エラーが発生します。

swap 関数を呼び出す必要があるかを区別できず、無効なテンプレートのオーバーロードが発生するためです。この問題を解決するには、次のように、どの swap 関数を呼び出すかを強制的に指定する必要があります。

template <typename T1,typename T2>
void swap(T1& a, T2& b) {
    T1 temp = a;
    a = b;
    b = temp;
}

template <typename T>
void swap(T& a, T& b) {
    T temp = a;
    a = b;
    b = temp;
}

int main() {
    int x = 1,y = 2;
    double d1 = 1.1,d2 = 2.2;
    swap(x,y);
    swap(d1,d2);
    swap<int,double>(x,d2); // 使用模板实参指定调用哪个模板函数
    return 0;
}

swap(x ,d2)、テンプレートの実パラメータ は、呼び出す swap 関数を指定するために使用されます。これにより、無効なテンプレートのオーバーロードの問題が解決されます。

以上がC++ コンパイル エラー: テンプレートのオーバーロードが無効です。解決方法は?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。