3

以下是我的代码的精简版本，用于类似unique_pointer的类实现，但仍然存在问题：

#include <tr1/type_traits>

template<typename T>
class rv : public T {
  rv();
  ~rv();
  rv( rv const& );
  rv& operator=( rv const& );
};

template<typename T,typename D,bool = std::tr1::is_empty<D>::value>
struct pjl_ptr_storage {
};

template<typename T,typename D>
struct pjl_ptr_storage<T,D,true> : private D {
  T *ptr_;

  pjl_ptr_storage( T *p ) : ptr_( p ) { }
  pjl_ptr_storage( T *p, D &d ) : D( d ), ptr_( p ) { }

  D& deleter() { return *this; }
};

template<typename T>
struct default_delete {
};

template<typename T,class D = default_delete<T> >
class pjl_ptr {
public:
  explicit pjl_ptr( T *p = 0 ) : storage_( p ) { }
  pjl_ptr( rv<pjl_ptr> &p ) : storage_( p.release(), p.storage_.deleter() ) { }

  T* release() {
    T *temp = storage_.ptr_;
    storage_.ptr_ = 0; // dereferencing pointer ‘&lt;anonymous>’ breaks strict-aliasing rules
    return temp;
  }

  operator rv<pjl_ptr>&() {
    return *static_cast<rv<pjl_ptr>*>( this );
  }

private:
  pjl_ptr_storage<T,D> storage_;

  pjl_ptr( pjl_ptr& ); // forbid
};

///////////////////////////////////////////////////////////////////////////////

typedef pjl_ptr<int> int_ptr;

int_ptr f() {
  return int_ptr( 0 ); // this line triggers the warning above
}

int main() {
}

使用用 编译的 g++ 4.4.3 -O2 -fstrict-aliasing -Wstrict-aliasing，我得到：dereferencing pointer <anonymous> breaks strict-aliasing rules在上面标记的行上。这恰好在 Ubuntu 64 位系统上。如果我在 Mac OS X Lion 上使用 g++ 4.6.1 编译相同的代码，我不会收到任何警告。

我一般理解严格的别名规则（或者我认为），但我不明白为什么它抱怨有问题的行。

g++ 4.4.3 错了吗？假设它是正确的，我该如何调整代码以消除警告，即不违反严格的别名规则？

4

2 回答 2

0

gcc不喜欢您投射的内容this（您可以尝试替换this为，例如，0看看警告是否会消失；我认为它会消失）。因此，您有两个指向同一内存但类型不同（pjl_ptr和rv<pjl_ptr>）的指针。gcc 警告您（例如由于某些优化）通过rv<pjl_ptr>指针所做的更改（例如分配给storage_.ptr_）可能通过指针变得不可见pjl_ptr。

就我个人而言，我看不出它如何导致你的情况出现问题，但看起来 gcc 是正确的。

PS。我不是标准的大师，所以我不知道标准到底是怎么想的:)

于 2011-11-19T22:14:23.667 回答
0

我不知道你想做什么。

template<typename T>
class rv : public T {
// private: by default
  rv();
  ~rv();
  rv( rv const& );
  rv& operator=( rv const& );
};

没有可访问的ctor，也没有朋友。您不可能拥有该类的实例。

于 2011-12-13T08:24:28.290 回答