antiId.cpp

#include <iostream>
using namespace std;

template <typename A>
A antiId(A x) { return x; }

template <>
int antiId<int>(int) { return 42; }

int main() {
    cout << 1       << '\t' << antiId(1)      << endl;
    //      1                         42
    cout << "test"  << '\t' << antiId("test") << endl;
    //      "test"                    "test"
    return 0;
}