- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我有一个我提供给我的用户的 C++ 框架,他们应该使用我用他们自己的实现编写的模板化包装器作为模板化类型。包装器充当 RAII 类,它包含指向用户类的实现的指针。为了使用户的代码干净整洁(在我看来),我提供了一个转换运算符,它将我的包装器转换为它持有的指针。这样(连同其他一些重载)用户可以像使用指针一样使用我的包装器(很像 shared_ptr)。
我遇到了一个极端情况,用户在我的包装器上使用 std::move 调用一个函数,该函数接受一个指向他的实现类的指针。下面是它的外观示例:
#include <iostream>
using namespace std;
struct my_interface {
virtual int bar() = 0;
};
template <typename T>
struct my_base : public my_interface {
int bar() { return 4; }
};
struct my_impl : public my_base<int> {};
template <typename T>
struct my_wrapper {
my_wrapper(T* t) {
m_ptr = t;
}
operator T*() {
return m_ptr;
}
private:
T* m_ptr;
};
void foo(my_interface* a) {
std::cout << a->bar() << std::endl;
}
int main()
{
my_impl* impl = new my_impl();
my_wrapper<my_impl> wrapper(impl);
foo(std::move(wrapper));
//foo(wrapper);
return 0;
}
[这当然只是一个案例,wrapper 中还有更多的方法,但我很确定在这种情况下不会在这里发挥作用]
用户和我一样,期望如果在包装器上调用了 std::move,那么在调用 foo
之后包装器将是空的(或者至少被修改为 move ),但实际上在 foo
之前调用的唯一方法是强制转换运算符。
有没有办法使对 foo
的调用在对 foo
的两次调用之间进行区分,即在调用和不调用 std::move
时>?
编辑多亏了 Mooing Duck 的评论,我找到了一种方法,让 my_wrapper
知道需要哪个调用,但我真的不确定这是最好的方法,我也会感谢对此的评论:
使用以下两个代替之前的转换运算符:
operator T*() & {
return m_ptr;
}
operator T*() &&{
//Do something
return m_ptr;
}
现在 operator T*() &&
在使用 std::move 调用时被调用,而 operator T*() &
在没有它的情况下调用时被调用。
最佳答案
The user, as would I, expect that if std::move was called on the wrapper, then after the call to foo the wrapper will be empty (or at least modified as if it was moved)
你的期望是错误的。它只会在发生 move 时被修改,即如果某种资源的所有权被转移。但是调用 foo
不会做任何类似的事情,因为它只是访问包装器内保存的指针。调用 std::move
除了将其参数转换为右值外什么都不做,这不会改变它。一些通过引用接受右值的函数可能会修改它,因此 std::move
启用它,但它自己不会这样做。如果您不将右值传递给此类函数,则不会发生任何修改。
如果你真的想要让它为空,你可以添加一个重载来做到这一点:
template<typename T>
void foo(my_wrapper<T>&& w) {
foo(static_cast<my_interface*>(w));
w = my_wrapper<T>{}; // leave it empty
}
但是……为什么?为什么要这样做?
如果你这样做,包装器不会留空:
my_wrapper<my_impl> w(new my_impl);
my_wrapper<my_impl> w2 = std::move(w);
并且不会被留空:
my_wrapper<my_impl> w(new my_impl);
my_wrapper<my_impl> w2;
w2 = std::move(w);
如果复制一个右值包装器不会将其留空,为什么仅仅访问它的成员就应该将其留空?这没有意义。
即使您的包装器具有 move 构造函数和 move 赋值运算符,以便上面的示例确实将 w
留空,但这仍然并不意味着访问右值对象应该修改对象。为什么 operator T*
转换为左值或右值会产生任何逻辑差异?
(此外,您真的确定从包装指针类型隐式转换为 和 是一个好主意吗?提示:这不是一个好主意。通常更喜欢显式转换,尤其是如果您正在处理指向动态分配对象的指针。)
关于C++ std::move 指针,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/41625565/
我正在开发一个小型图书馆,我需要做的一件事是让访问者访问一些数据并返回结果。 在一些较旧的 C++ 代码中,访问者需要声明一个 typedef return_type .例如,boost::stati
我正在尝试使用std:map类型的键和值制作std::any Visual Studio 2017 std::map m("lastname", "Ivanov"); std::cout (m["la
我已经在 C++ 的 map 中声明了一个集合为 std::map> .如何循环访问或打印设定值? 最佳答案 如果你知道如何迭代 std::map或 std::set单独地,您应该可以毫无问题地组合迭
如何循环? 我已经试过了: //----- code std::vector >::iterator it; for ( it = users.begin(); it != users.end();
我有两个用例。 A.我想同步访问两个线程的队列。 B.我想同步两个线程对队列的访问并使用条件变量,因为其中一个线程将等待另一个线程将内容存储到队列中。 对于用例 A,我看到了使用 std::lock_
我正在查看这两种类型特征的文档,但不确定有什么区别。我不是语言律师,但据我所知,它们都适用于“memcpy-able”类型。 它们可以互换使用吗? 最佳答案 不,这些术语不能互换使用。这两个术语都表示
我有以下测试代码,其中有一个参数 fS,它是 ofstream 的容器: #include #include #include #include int
这是这个问题的延续 c++ function ptr in unorderer_map, compile time error 我试图使用 std::function 而不是函数指针,并且只有当函数是
std::unordered_map str_bool_map = { {"a", true}, {"b", false}, {"c", true} }; 我们可以在此映射上使
我有以下对象 std::vector> vectorList; 然后我添加到这个使用 std::vector vec_tmp; vec_tmp.push_back(strDRG); vec_tmp.p
为什么 std::initializer_list不支持std::get<> , std::tuple_size和 std::tuple_element ?在constexpr中用得很多现在的表达式,
我有一个像这样定义的变量 auto drum = std::make_tuple ( std::make_tuple ( 0.3f , Ex
假设我有一个私有(private)std::map在我的类(class)里std::map 。我怎样才能将其转换为std::map返回给用户?我想要下面的原型(prototype) const std
假设我有一个私有(private)std::map在我的类(class)里std::map 。我怎样才能将其转换为std::map返回给用户?我想要下面的原型(prototype) const std
问题 我正在尝试将 lambda 闭包传递给 std::thread,它使用任意封闭参数调用任意封闭函数。 template std::thread timed_thread(Function&& f
我想创建一个模板类,可以容纳容器和容器的任意组合。例如,std::vector或 std::map ,例如。 我尝试了很多组合,但我必须承认模板的复杂性让我不知所措。我编译的关闭是这样的: templ
我有一个 std::vector>我将其分配给相同类型的第二个 vector 。 我收到这个编译器错误: /opt/gcc-8.2.0/include/c++/8.2.0/bits/stl_algob
有时候,我们有一个工厂可以生成一个 std::unique_ptr vector ,后来我们想在类/线程/你命名的之间共享这些指针。因此,最好改用 std::shared_ptr 。当然有一种方法可以
这个问题在这里已经有了答案: Sorting a vector of custom objects (14 个答案) 关闭 6 年前。 我创建了一个 vector vector ,我想根据我定义的参
我有三个类(class)成员: public: std::vector > getObjects(); std::vector > getObjects() const; privat
我是一名优秀的程序员,十分优秀!