[英]Assignment operator to reference template type requires non-const overload
我正在努力解决复制分配操作员问题。 尽管我有一些想法(最后列出),但我无所适从。 这是一个问题,因为我使用的是第3方库,其类无法控制。
假设您有一个带有复制分配运算符的模板化容器。 此运算符接受具有不同模板的另一个容器,并尝试static_cast其他类型。
template <class U>
vec2<T>& operator=(const vec2<U>& v) {
x = static_cast<T>(v.x);
y = static_cast<T>(v.y);
return *this;
}
这对于简单的分配是很好的,但是,当对T使用引用时,会出现有关const值类型的编译错误。 如果添加另一个接受非const引用的重载,它将进行编译并工作。
我做了一个简单的例子,应该可以说明这个问题。
template <class T>
struct vec2 final {
vec2(T x_, T y_)
: x(x_)
, y(y_) {
}
template <class U>
vec2(const vec2<U>& v)
: x(static_cast<T>(v.x))
, y(static_cast<T>(v.y)) {
}
template <class U>
vec2<T>& operator=(const vec2<U>& v) {
if (this == &v)
return *this;
x = static_cast<T>(v.x);
y = static_cast<T>(v.y);
return *this;
}
// Fix :
/*
template <class U>
vec2<T>& operator=(vec2<U>& v) {
x = static_cast<T>(v.x);
y = static_cast<T>(v.y);
return *this;
}
*/
T x;
T y;
};
以及我如何尝试使用它:
int main(int, char**) {
vec2<int> v0 = { 0, 0 };
vec2<int> v1 = { 1, 1 };
vec2<int&> test[] = { { v0.x, v0.y }, { v1.x, v1.y } };
vec2<int> muh_vec2 = { 2, 2 };
test[0] = muh_vec2;
printf("{ %d, %d }\n", test[0].x, test[0].y);
return 0;
}
最新的AppleClang将产生以下错误:
main4.cpp:18:7: error: binding value of type 'const int' to reference to type 'int'
drops 'const' qualifier
x = static_cast<T>(v.x);
^ ~~~
main4.cpp:63:10: note: in instantiation of function template specialization 'vec2<int
&>::operator=<int>' requested here
test[0] = muh_vec2;
^
我从中了解到的是,编译器以某种方式尝试通过const值进行赋值。 但是,为什么并且有一个非侵入式的解决方案呢?
我在这里确实找到了类似的问题: 模板赋值运算符重载了奥秘
阅读此问题后,我的结论是:可能是默认赋值运算符引起了该问题? 我仍然不明白为什么,但是:/
这是一个在线示例: https : //wandbox.org/permlink/Fc5CERb9voCTXHiN
template <class U>
vec2<T>& operator=(const vec2<U>& v)
在此方法中, v
是右侧const视图的名称。 如果U
为int
,则vx
为const int
。
如果T
是int&
,则this->x
是int&
。
this->x = static_cast<int&>(v.x);
这显然是非法的:您不能将const int静态转换为非const引用。
一般的解决方案基本上需要重建std::tuple
或std::pair
机械。 SFINAE可用于引导它。 但是总的来说,包含引用的结构和包含值的结构通常是完全不同的野兽。 为两者使用一个模板是有问题的。
template <class T>
struct vec2 final {
template<class Self,
std::enable_if_t<std::is_same<std::decay_t<Self>, vec2>>{}, bool> =true
>
friend auto as_tuple( Self&& self ){
return std::forward_as_tuple( std::forward<Self>(self).x, std::forward<Self>(self).y );
}
那么我们可以进行SFINAE测试以确定as_tuple(LHS)=as_tuple(RHS)
是否有效。
进行构造是另一个痛苦,因为LHS的元组类型需要先进行按摩,然后才能进行可构造性测试。
您编写的代码越通用,所需的工作就越多。 在编写无限通用代码之前,请考虑实际用例。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.