2

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

这既是一个问题，也是一种提供信息/警告他人的方法，这样他们就不会像我一样落入同一个陷阱：似乎使用noncopyable基类（如 boost 中的基类）在使用时对导出的类没有影响MS 编译器。这是MS 的一个已知错误，但我怀疑有很多程序员知道它。可以想象，这会产生非常讨厌的错误，因为它允许编写甚至不应该编译的代码。示例（此处为不可复制类的代码：）

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 );
}

其他情况：CantCopyMe MakeIt() { return 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 放在不可复制的复制构造函数中也不会削减它，因为即使它没有被调用，编译器也会始终编译它。

4

2 回答 2

2

要回答 1（对于 VS2010），我只是在 VS2010（带有 SP1）中尝试过它，它编译得很好，这意味着它还没有被修复。不幸的是我没有 2011 来测试

2.我想一种方法是：

  • 不再源自不可复制
  • 在 CantCopyMe 中将复制 ctor 和赋值运算符声明为私有而不提供实现）
class CantCopyMe 
{
public:
   //omitted for brevity...
private:
    CantCopyMe( const CantCopyMe& );
    const CantCopyMe& operator=( const CantCopyMe& );
};

完成此操作后，您避免了您描述的危险情况，它也应该与 VS2008 一起使用。你在正确的地方解决了问题，那就是在不可复制的类声明中。

于 2011-09-20T10:15:55.347 回答
1

我只是在稍微不同的情况下遇到了同样的问题：我有一个 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 编译它时，我得到：error C4716: 'Outer::Copy' : must return a value. 如果我将 Copy() 更改为此：

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

我现在只收到一个奇怪的警告：warning C4700: uninitialized local variable 'copy' used，以及运行时的严重崩溃。最后，试试这个：

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

编译器将可靠地崩溃！这是针对 80x86 的 VS2010 SP1、C++ 编译器版本 16.00.40219.01。

于 2011-10-06T21:31:01.937 回答