模板参数-指向模板化类型的指针

Question

Considering this example:

template< typename T, T &V>
void doSomething() {
    V = 1;
}

int i;
double d1, d2;

int main() {
    doSomething< int, i>();
    doSomething< double, d1>();
    doSomething< double, d2>();
    return 0;
}

Is it possible to eliminate type names in the invocations? Something like this:

    doSomething< i>();
    doSomething< d1>();
    doSomething< d2>();

Note that the function signature shouldn't change. You still have to be able to use it as this:

typedef void (*THandler)();

THandler handlers[] = {
    &doSomething< int, i>,
    &doSomething< double, d1>,
    &doSomething< double, d2>
};

Answer 1

Yes.

template<typename T>
void doSomething(T& V) {
    V = 1;
}

but you use it this way:

doSomething(i);
doSomething(d1);
doSomething(d2);