c++ - 继承 noncopyable 对 dllexport 类没有影响

Question

更新 下面提到的错误在 VS2012 中得到修复，并且 noncopyable 可以正常工作

这既是一个问题，也是一种提供信息/警告他人的方式，这样他们就不会像我一样陷入同样的​​陷阱:似乎使用 noncopyable 基类(就像那个在 boost 中)在使用 MS 编译器时对导出的类没有影响。这是 a known bug到 MS，但我怀疑有很多程序员知道它。可以想象，这会产生极其严重的错误，因为它允许编写甚至不应该编译的代码。示例(不可复制类的代码 here :)

一个典型的dll工程头文件，用/D EXPORT_IT编译:

#ifdef EXPORT_IT
  #define mydll __declspec( dllexport )
#else
  #define mydll __declspec( dllimport )
#endif    

class mydll CantCopyMe : private noncopyable
{
public:
  CantCopyMe();
  ~CantCopyMe();
};

mydll CantCopyMe MakeIt();

源文件:

#include <iostream>

CantCopyMe::CantCopyMe()
{
  std::cout << "constructor" << std::endl;
}

CantCopyMe::~CantCopyMe()
{
  std::cout << "destructor" << std::endl;
}

CantCopyMe MakeIt()
{
  CantCopyMe x;
  return x; //oops... this sould not compile nor link but it does
}

应用:

int main()
{
  CantCopyMe x( MakeIt() );
}

输出:

constructor
destructor
destructor

1 个构造函数，调用 2 个析构函数。想象一下类有效地包含资源时的问题。

编辑编译但不应该编译的用例:

CantCopyMe MakeIt()
{
  CantCopyMe x;
  return x;
}

void DoIt( CantCopyMe x )
{
  x.Foo();
}

void SomeFun()
{
  CantCopyMe x;
  DoIt( x );
}

其他情况: 无法复制我 MakeIt() { 返回 CantCopyMe();// fatal error C1001

CantCopyMe GenerateIt()
{
  CantCopyMe x;
  return x;
}

CantCopyMe MakeIt()
{
  return GenerateIt(); //fatal error C1001
}

CantCopyMe MakeIt()
{
  CantCopyMe x;
  return CantCopyMe( x ); //fatal error C1001 + cl crashes
}

void DoSomething()
{
  CantCopyMe x;
  CantCopyMe y = x; //fatal error C1001 + cl crashes
}  

问题:

1. 知识库文章提到了即将发布的版本中的修复。任何人都可以检查这是否已在 VS2010 中修复(或者可能使用 Visual Studio 11 预览版)？

2. 是否有任何解决方法来触发任何类型的错误？我尝试(ab)使用这样一个事实，即编写 return CantCopyMe() 会触发内部编译器错误，但是，我找不到一种方法来仅在编译像 MakeIt< 这样的函数时有条件地触发它 上面。将 static_assert 放在不可复制的复制构造函数中也不会削减它，因为编译器将始终编译它，即使它没有被调用。

Answer 1

要回答 1(对于 VS2010)，我只是在 VS2010(带有 SP1)中尝试过它并且编译得很好，这意味着它尚未修复。不幸的是我没有 2011 来测试

对于 2。我想一种方法是:

• 不再派生自不可复制
• 在 CantCopyMe 中将复制构造函数和赋值运算符声明为私有(private)，但不提供实现)

class CantCopyMe 
{
public:
   //omitted for brevity...
private:
    CantCopyMe( const CantCopyMe& );
    const CantCopyMe& operator=( const CantCopyMe& );
};

完成后，您就避免了所描述的危险情况，它也应该适用于 VS2008。你在正确的地方解决了这个问题，那就是在不可复制的类声明中。