目前,我的一个玩具类模板有两个看起来非常相似的构造函数：
optional(const T& x)
{
construct(x);
}
optional(T&& x)
{
construct(std::move(x));
}
我可以将它们组合成一个构造函数模板,还是会以某种方式改变语义？
template<typename U>
optional(U&& x)
{
construct(std::forward<U>(x));
}
解决方法
它改变了std :: is_constructible和std :: is_convertible等特性与可选项交互的方式.例如给出：
class A {};
int main()
{
std::cout << std::is_constructible<optional<A>,int>::value << '\n';
};
您的原始代码将打印出来：
0
但是你的新代码将打印出来：
1
如果这是不合需要的,并且您仍然想要使用新代码,则可以启用它以将U限制为可接受的类型.
我看到的唯一其他可能的问题是T是否可以是引用类型(例如int&).在这种情况下,原始代码的第二个构造函数看起来很可疑,因为它将传入rvalue,并且您可能试图将该rvalue绑定到非const左值引用(无法确定).如果T永远不能成为引用类型,则无需担心这一点.
