1

将共享指针与自定义相等运算符和 std::list 一起使用时似乎存在问题。

我将以下示例代码放在一起来演示该问题。

在尝试编译之前:

我正在使用gcc version 4.5.2 20110127

使用以下命令行:

g++ -g -O0 -std=gnu++0x test.cpp

如果未启用 c++0x 功能,则源将无法编译。

#include<list>
#include<boost/shared_ptr.hpp>

using std::list;
using std::shared_ptr;
using std::cout;
using std::endl;

class TestInt
{
   public:
      TestInt(int x);
      bool operator==(const TestInt& other);

   private:
      int _i;
};

TestInt::TestInt(int x)
{
   _i = x;
}

bool
TestInt::operator==(const TestInt& other)
{
   if (_i == other._i){
      return true;
   }
   return false;
}

class Foo
{
   public:
      Foo(TestInt i);
      shared_ptr<TestInt> f(TestInt i);

   private:
      list<shared_ptr<TestInt>> _x;
};

Foo::Foo(TestInt i)
{
   _x.push_back(shared_ptr<TestInt>(new TestInt(i)));
};

shared_ptr<TestInt>
Foo::f(TestInt i)
{
   shared_ptr<TestInt> test(new TestInt(i));
   int num = _x.size();
   list<shared_ptr<TestInt>>::iterator it = _x.begin();
   for (int j=0; j<num; ++j){
      if (test == *it){
         return test;
      }
      ++it;
   }
   throw "Error";
}

int main(){
   TestInt ti(5);
   TestInt ti2(5);
   Foo foo(ti);
   foo.f(ti2);
   std::cout << "Success" << std::endl;
}

我原以为代码会结束,Success但它会抛出。

插入一个*infront oftest*it解决了这个问题,但我的理解是,当 shared_ptr__a.get() == __b.get()在其==运算符中调用时,它应该使用自定义相等运算符 of TestInt。我不明白为什么不是。这是一个错误吗?

提前致谢。

4

2 回答 2

10

这是因为当您比较两个时shared_ptr<T>,您是在比较引用,即两个实例指向的内存地址,而不是基础值。

于 2011-03-19T17:19:08.933 回答
3

您不是在比较 TestInt 对象,而是比较两个不同的指针,每个指针都指向它自己的 TestInt 对象。所以基本上你的自定义等于运算符甚至没有被调用。

你在做什么基本上是:

#include <iostream>

int main(int argc, char** argv) {
    int* pi1 = new int(5);
    int* pi2 = new int(5);
    if (pi1 == pi2)
        std::cout << "SUCCESS";
    else 
        std::cout << "ERROR";
}

现在应该很明显 pi1 和 pi2 不相等并且代码完成打印错误。

(我使用原始指针而不是 shared_ptr 的事实并没有改变任何东西,但使逻辑更容易理解。与直接使用 int 而不是使用包装类相同。)

于 2011-03-19T20:27:39.277 回答