奇怪的C++严格别名警告

Question

下面是我的一个unique_pointer-like类实现代码的精简版本，它仍然存在这个问题：

#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 ‘<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() {
}

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

我大体上理解严格别名规则(或者我是这么认为的)，但我不明白为什么它会抱怨有问题的行。

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

Answer 1

gcc不喜欢你强制转换this (你可以试着用0替换this，看看警告是否会消失；我想会的)。因此，您有两个指向同一内存的指针，但类型不同(pjl_ptr和rv<pjl_ptr>)。gcc警告您，(例如，由于某些优化)通过rv<pjl_ptr>指针所做的更改(例如，对storage_.ptr_的赋值)可能会通过pjl_ptr指针变得不可见。

就我个人而言，我不明白这怎么会导致你的情况出现问题，但看起来gcc是正确的。

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

Answer 2

我不知道你想做什么。

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

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