继承 noncopyable 对 dllexport 类没有影响

Question

更新下面提到的错误在VS2012中已修复，并且noncopyable按预期工作

这既是一个问题，也是一种提供信息/警告其他人的方式，这样他们就不会陷入困境和我一样的陷阱：使用 MS 编译器时，使用不可复制基类（如 boost 中的基类）对导出类没有任何影响。这是微软的已知错误，但我怀疑是否有很多程序员知道它。可以想象，这可能会产生极其严重的错误，因为它允许编写甚至不应该编译的代码。示例（不可复制类的代码此处：）

典型的头文件在 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(); //致命错误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 年来测试

To 2。我想一种方法是：

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

类 CantCopyMe 
{
民众：
   //为简洁起见省略...
私人的：
    CantCopyMe( const CantCopyMe& );
    const CantCopyMe&运算符=( const CantCopyMe& );
};

完成此操作后，您就避免了您所描述的危险情况，并且它也应该适用于 VS2008。并且您在正确的位置解决了问题，即在不可复制的类声明中。

Answer 2

我刚刚在稍微不同的情况下遇到了同样的问题：我有一个 DLL 导出类，它被赋予了一个不可复制的成员。 DLL 导出类没有显式的复制构造函数，并且有一个 Copy 方法，该方法在堆上返回自身的副本。添加不可复制成员后，没有编译器错误，但出现了令人讨厌的运行时错误。我跟踪它到 __declspec(dllexport) 并发现如果我删除它，我会得到预期的且正确的编译器错误，从而阻止复制。考虑这个最小的例子：

#define API __declspec(dllexport)

class Inner
{
public:
    Inner() {}

private:
    Inner(const Inner&) {}
    Inner& operator=(const Inner&) { return *this; }
};

class API Outer
{
private:
    Inner i;

public:
    virtual Outer* Copy()
    {
        return new Outer(*this);
    }
};

当我使用最新的 VS2010 编译它时，我得到：错误 C4716：'Outer::Copy'：必须返回一个值。如果我将 Copy() 更改为：

virtual Outer* Copy()
{
    Outer* copy = new Outer(*this);
    return copy;
}

我现在只收到一个奇怪的警告：警告 C4700：使用了未初始化的局部变量“复制”，并且在运行时发生了严重的崩溃。最后，尝试一下：

virtual Outer* Copy()
{
    Outer tmp(*this);
    return nullptr;
}

编译器肯定会崩溃！这是在 VS2010 SP1 上，80x86 的 C++ 编译器版本 16.00.40219.01。