C++テンプレート利用時のコンパイラエラーC2896について解説

#include <iostream>
// 関数テンプレート f1 は引数として関数ポインタ (T1, T2) を受け取る
template<class T1, class T2>
void f1(void (*func)(T1, T2)) {
    std::cout << "f1呼び出し" << std::endl;
}
// 関数テンプレート f2 は2つの引数を受け取る
template<class T1, class T2>
void f2(T1 a, T2 b) {
    std::cout << "f2呼び出し: " << a << " " << b << std::endl;
}
int main() {
    // 関数テンプレートを引数として渡すとエラー C2896 が発生する
    f1(f2);
    return 0;
}

error C2896: 'f1' : 関数テンプレート 'f2' を引数として使用できません。

#include <iostream>
using namespace System;
// /clr環境下でのジェネリック関数 gf1 と gf2 のサンプル
generic<class T>
void gf1(T value) {
    Console::WriteLine("gf1呼び出し: {0}", value);
}
generic<class T>
void gf2(T value) {
    Console::WriteLine("gf2呼び出し: {0}", value);
}
int main() {
    // gf1にgf2を引数として渡すとエラーC2896が発生する
    gf1(gf2);
    // 通常の使用例。整数の引数は正常に動作する
    gf1(1);
    return 0;
}

error C2896: 'gf1' : 関数テンプレート 'gf2' を引数として使用できません。

#include <iostream>
// 汎用的な関数テンプレート
template<class T1, class T2>
void functionTemplate(T1 a, T2 b) {
    std::cout << "functionTemplate: " << a << " " << b << std::endl;
}
// 特定の型を用いたラッパー関数
void functionWrapper(int a, double b) {
    // テンプレートパラメータを明示的に指定してインスタンス化
    functionTemplate<int, double>(a, b);
}
int main() {
    // ラッパー関数の呼び出しにより、エラーを回避
    functionWrapper(10, 3.14);
    return 0;
}

functionTemplate: 10 3.14

#include <iostream>
// 関数テンプレート f1 は引数として関数ポインタを受け取る
template<class T1, class T2>
void f1(void (*func)(T1, T2)) {
    std::cout << "f1 built correctly with Visual Studio 2022" << std::endl;
}
// 関数テンプレート f2 の定義
template<class T1, class T2>
void f2(T1 a, T2 b) {
    std::cout << "f2呼び出し: " << a << " " << b << std::endl;
}
int main() {
    // 最新環境ではコンパイル設定によりエラーが回避されるケースがあります
    f1(f2);
    return 0;
}

f1 built correctly with Visual Studio 2022

#include <iostream>
// テンプレート関数 processFunction の定義
template<class T1, class T2>
void processFunction(T1 a, T2 b) {
    std::cout << "processFunction: " << a << ", " << b << std::endl;
}
// 明示的な型指定のラッパー関数 callProcessFunction
void callProcessFunction(int a, double b) {
    processFunction<int, double>(a, b);
}
int main() {
    // ラッパー関数の呼び出しによりエラー回避と正常動作を確認
    callProcessFunction(5, 2.78);
    return 0;
}

processFunction: 5, 2.78