如何覆盖参数 `const T&` 和 `T&&` 的泛型函数,其中 T 可以作为参考?
How to override generic function for aguments `const T&` and `T&&` where T could be a reference?
我正在尝试在 C++ 中实现类似于 Rust 的 Result<T,E>
类型,它是一个包含 T
或 E
值的联合。
它的一些构造函数是:
template <typename T, typename E>
Result<T,E>::Result(const T& value) : isOk(true), value(value) {}
template <typename T, typename E>
Result<T,E>::Result(T&& value) : isOk(true), value(std::move(value)) {}
它像我预期的那样工作,因为 T
和 E
是非引用类型或指针,但如果任何基础类型是引用,则无法编译。例如:
MyType my_object;
Result<MyType&, AnyOtherType> result(my_object);
产生以下错误:
./result.h:46:5: error: multiple overloads of 'Result' instantiate to the same signature 'void (MyType &)'
Result(T&& value);
^
main.cpp:39:23: note: in instantiation of template class 'Result<MyType &, int>' requested here
Result<MyType&,int> result(object);
^
./result.h:37:5: note: previous declaration is here
Result(const T& value);
^
我理解这是因为引用折叠规则(& + && = &):如果T
是MyType&
,那么T&
和T&&
是MyType&
,因此这两个构造函数在这里具有相同的签名。
但是有什么好的方法可以克服这个问题,并允许 T
作为参考,同时仍然具有 const T&
和 T&&
构造函数?
您可以使用带有转发引用的模板化构造函数来涵盖这两种情况:
template<typename T>
struct Result {
template<typename... S>
Result(S&&... s) : t(std::forward<S>(s)...) {}
T t;
};
int i;
Result<int&> r1(i);
Result<int> r2(i);
std::expected<R, E>
提案的相关论文:
我正在尝试在 C++ 中实现类似于 Rust 的 Result<T,E>
类型,它是一个包含 T
或 E
值的联合。
它的一些构造函数是:
template <typename T, typename E>
Result<T,E>::Result(const T& value) : isOk(true), value(value) {}
template <typename T, typename E>
Result<T,E>::Result(T&& value) : isOk(true), value(std::move(value)) {}
它像我预期的那样工作,因为 T
和 E
是非引用类型或指针,但如果任何基础类型是引用,则无法编译。例如:
MyType my_object;
Result<MyType&, AnyOtherType> result(my_object);
产生以下错误:
./result.h:46:5: error: multiple overloads of 'Result' instantiate to the same signature 'void (MyType &)'
Result(T&& value);
^
main.cpp:39:23: note: in instantiation of template class 'Result<MyType &, int>' requested here
Result<MyType&,int> result(object);
^
./result.h:37:5: note: previous declaration is here
Result(const T& value);
^
我理解这是因为引用折叠规则(& + && = &):如果T
是MyType&
,那么T&
和T&&
是MyType&
,因此这两个构造函数在这里具有相同的签名。
但是有什么好的方法可以克服这个问题,并允许 T
作为参考,同时仍然具有 const T&
和 T&&
构造函数?
您可以使用带有转发引用的模板化构造函数来涵盖这两种情况:
template<typename T>
struct Result {
template<typename... S>
Result(S&&... s) : t(std::forward<S>(s)...) {}
T t;
};
int i;
Result<int&> r1(i);
Result<int> r2(i);
std::expected<R, E>
提案的相关论文: