目前,我的一个玩具类模板有两个看起来非常相似的构造函数:
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
等性状与optional
相互作用的方式。例如:
class A {};
int main()
{
std::cout << std::is_constructible<optional<A>, int>::value << 'n';
};
您的原始代码将打印出来:
0
但你的新代码会打印出来:
1
如果这是不可取的,并且您仍然希望使用新代码,您可以enable_if
它来将U
限制为可接受的类型。
我看到的唯一其他可能的问题是T
是否可以是引用类型(例如int&
(。在这种情况下,原始代码的第二个构造函数看起来很可疑,因为它将传递一个右值,并且您可能试图将该右值绑定到一个非常量左值引用(不能确定(。如果T
永远不可能是引用类型,则无需担心这一点。
哦,construct不是构造函数,它是成员函数模板。
那么语义可能会有所不同。原始重载集将左值引用传递给常量,或将右值引用传递到非常量。模板版本还可以将左值引用传递给non-const。(我忽略了对常量的右值引用。(
尽管construct
很可能被声明为接受U&&
(否则你之前移动T
的重载将不起作用(,并且在这种情况下应该处理非常值,或者被声明为接收U const&
,在这种情况中它是无害的。
假设您至少定义了construct(const T& x)
,可能还定义了construct(T&& x)
的加法,并且您的U
类型的对象可以转换为T
类型的对象,我认为您应该没事。。。
U
类型的常量l值引用将绑定到construct(const T& x)
U
类型的非常量l值引用将绑定到construct(const T& x)
- 如果未定义r值引用版本,则类型为
U
的临时r值将绑定到construct(T&& x)
或construct(const T& x)
U
类型的常量r值引用将绑定到construct(const T& x)