代码之家 › 专栏 › 技术社区 › Klaus

具有模板化函数参数的隐式类型转换

implicit-conversion c++17 templates c++

Klaus · 技术社区 · 7 年前

如果我有一个简单的函数需要一个像这样的类型:

class X
{
    public:
        X( int ){}
};

void fx( X  ) {}



fx( 1 ); // implicit converted to X(int); // fine!

如果我对模板化类型尝试相同的方法,它将不起作用。

template <typename T>
class Y
{
    Y( T ){};
};

template <typename T>
void fy( Y<T> );

fy( 2 ); // Y<int> expected, but it fails

有没有什么诡计可以强迫转换?

需要隐式执行,在fy上的直接访问是不想要什么。我知道可以通过指定模板参数强制所有模板;)

3 回复 | 直到 7 年前

songyuanyao 7 年前

template <typename T>
void helper(T&& t) {
    fy<std::decay_t<T>>(std::forward<T>(t)); // specify the template argument explicitly
}

helper(2); // T will be deduced as int

lubgr 7 年前

fy<int>(2);

fy(Y(2));

fy(Y<int>(2));

kabanus 7 年前

template <typename T>
void fy( T x ) {
    Y<T> y = x;
    //Use y
    return;
}

fy x T

推荐文章

Ta Thanh Dinh · 返回std::optional<T>,其中T的构造函数是私有的

1 年前

111111 · 确定作为模板参数传递的函数的参数类型

1 年前

msg · std::variant的奇怪结果

1 年前

ÐÐµÐ¾ÑÐ³Ð¸Ð¹ ÐÑÐ¼Ð¸Ð½Ð¾Ð² · 方法指针强制转换时如何选择const方法重载[重复]

1 年前

Mikhail T. · 如何将对象的方法传递给lambda函数?

1 年前

zack · 不接受变分模板函数参数

1 年前

IRP_HANDLER · 另一个命名空间内的C++STD模板专门化[重复]

1 年前

Youssef Gamil · RegEx替换C中的空行++

1 年前

asimes · 从信号处理程序设置变量时,std::atomic或volatile是必需的吗

1 年前

GPrathap · 如何在C中返回智能指针和协方差++

1 年前