template<class T>
int Function(T object);

用户可以通过指定模板化类型来调用此函数,如下所示：

int result = Function<float>(100.f); // Valid

但是类型规范是可选的,因为编译器可以从提供的参数的类型推导出T的类型;像这样：

int result = Function(100.f); // Also valid,the compiler deduced the type "float" from the literal's type

假设我有点复杂,我想要一个这样的模板化值参数：

template<class T,T* object>
int Function();

我可以这样调用我的函数：

static float val = 100.f;
// ...
int result = Function<float,&val>();

我的问题是：有没有办法我强迫编译器根据参数& val的类型推断出类型T？

我需要的是一种使以下代码有效的方法：

static float val = 100.f;
// ...
int result = Function<&val>();

可以吗？