Question

下面是一个C ++头文件，它在g ++和clang下编译时没有错误，但在MSVC2015下，它在(void) copyFrom行上出错，错误为C2027: use of undefined type 'blah::SomeOtherClass'。

我的问题是：根据C ++标准，此代码是否合法？或者如果代码不正确（即因为将参数转换为（void）合法地需要的不仅仅是前向声明），那么在不引入copyFrom参数的情况下保留我的DOxygen文档的好方法是什么我的编译器输出中有不必要的parameter copyFrom was never referenced警告？（请注意，目前无法提供SomeOtherClass的完整定义，因为SomeOtherClass取决于DummyImplementation）

#ifndef blah_h
#define blah_h

namespace blah {

class SomeOtherClass;

/** Example of the problem at hand */
class DummyImplementation
{
public:
   /** Dummy implemention of CopyFrom().
    *  @param copyFrom This parameter is ignored.
    *  @returns zero.
    */
   int CopyFrom(const SomeOtherClass & copyFrom)
   {
      (void) copyFrom;  // error C2027: use of undefined type 'blah::SomeOtherClass'
      return 0;
   }
};

} // end namespace blah

#endif

更新：Per Francois的请求，这是我的程序在使用MSVC 19.0.24210.0构建时使用的构建（并不是关于C ++标准要求的问题的答案应该取决于特定版本的行为MSVC）：

cl -c -nologo -Zc:wchar_t -FS -Zc:rvalueCast -Zc:inline /nologo /MP 
/arch:SSE2 /Zi -O2 -MD -Zc:strictStrings -GR -W3 -w34100 -w34189 -w44996 
-EHsc -D_WIN32_WINNT=0x0601 -DNDEBUG -D__WIN32__ -D_USE_MATH_DEFINES 
-DQT_NO_CAST_ASCII -DQT_NO_DEBUG -DQT_WIDGETS_LIB -DQT_GUI_LIB -DQT_CORE_LIB
[... various -I flags omitted ...]

Answer 1

有关完整报道，请参阅this回答。

根据cppref，(type-name) expression（强调我的）

如果type-name为void，则会评估expression的副作用，并且会丢弃其返回值，与使用expression时相同它自己的，作为表达式声明。

也就是说，(void)copyFrom相当于copyFrom，它不起作用，不应该要求C ++中的完整类型。

顺便说一句，您的代码可以使用MSVC 2017（live）编译好。

要禁止编译器警告，您可以考虑：

std::addressof(copyFrom)

将前向声明的类型转换为无效是合法的吗？

1 个答案: