我有一组依赖于两个整数的函数模板。除了需要转换其中一个函数参数外,这些都需要实例化。为此提供了转换运算符。但是编译器(VS 2013 快速预览版)拒绝承认转换的可能性。请参阅下面的代码。
在conversion_op.h中
template<int N>
class Proxy
{
};
template<int M, int N>
void func(const Proxy<M>& p1, const Proxy<N>& p2)
{
}
typedef Proxy<1> SpecialProxy;
class Orig
{
SpecialProxy P;
public:
operator SpecialProxy() const
{
return P;
}
};
在conversion_op.cpp中
#include "conversion_op.h"
//template void func(const SpecialProxy&, const SpecialProxy&);
//template void func(const SpecialProxy&, const Proxy<2>&);
//template void func(const Proxy<2>&, const SpecialProxy&);
//template void func(const Proxy<2>&, const Proxy<2>&);
int Test()
{
Orig a;
SpecialProxy p1;
Proxy<2> p2;
func<1,1>(a, p1); //OK
func<1,2>(a, p2); //OK
func<1,1>(p1, a); //OK
func<2,1>(p2, a); //OK
func(a, p1); //Error
func(a, p2); //Error
func(p1, a); //Error
func(p2, a); //Error
}
错误是: “无法从‘Orig’推断出‘const Proxy &’的模板参数。请参阅函数声明。”
我试过替换
operator SpecialProxy() const;
通过
operator const SpecialProxy&() const;
但错误仍然存在。
还尝试显式实例化所需的函数(在 conversion_op.cpp 中注释掉代码),但没有成功。
任何见解都值得赞赏。 谢谢。
最佳答案
这里的问题是 C++ does not allow implicit conversion when deducing template arguments .
当编译器尝试实例化 func(a, p1)
时例如,它可以迅速推导出N -> 1,但是M没有值,也不允许从a
的隐式转换中推导出来。至 Proxy<1>
如 Orig
中所定义.
关于c++ - 存在函数模板时的参数转换,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/18499185/