根据 MSVC，具有易失性成员的结构不再是 POD

Struct with a volatile member no longer a POD according to MSVC

本文关键字：结构 不再 POD 成员 易失性 MSVC 根据      更新时间：2023-10-16
#include <cstdint>
#include <type_traits>
extern "C"
{
struct thread_shared_struct
{
volatile uint32_t ccr;
};
struct thread_shared_struct getStuff();
}
static_assert(std::is_pod<thread_shared_struct>::value, "thread_shared_struct isn't a POD");
int main(int argc, char** argv)
{
thread_shared_struct m = getStuff();
return 0;
}

在 godbolt 上查看此代码

当然，这个例子没有多大意义，但它是从更大的代码库中对我的问题的最小再现。

使用GCC(主干(和Clang(后备箱(，这工作正常。

对于 MSVC (x64， 19.22(，static_assert失败并且 getStuff(( 生成错误，因为它尝试返回与 C 调用约定不兼容的类型。

如果删除"易失性"，一切正常。

MSVC 认为thread_shared_struct不是 POD 类型是错误的吗？

外部"C"部分位于需要保持原样的 C 标头中。我如何在C++使用它？

来自Microsoft文档：

当类或结构既是简单布局又是标准布局时，它是 POD(纯旧数据(类型。

它稍后介绍文本类型，包括以下条件：

此外，其所有非静态数据成员和基类必须是文本类型，而不是易失性。

页面上的其他任何地方都没有提到"易失性"。

这一切都符合我们在标准中找到的内容。

因此，我得出结论，这是一个编译器错误。

getStuff(( 生成错误，因为它尝试返回与 C 调用约定不兼容的类型。

实际上，这只是一个警告(C4190(，如果需要，可以禁用它。Visual Studio on x86_64 只有一个调用约定(在此处描述(。您的代码仍然可以正常工作。VS 只是警告您，如果您实际尝试在 C 中使用它，该类型将不起作用。extern "C"并不意味着编译为 C。

但是，收到此警告确实表明该错误确实存在于编译器中，而不仅仅是在std::is_pod的实现中。

此外，我建议在新代码中避免使用 POD 术语和std::is_pod特征，因为它们从 C++20 开始已弃用。

外部"C"部分位于需要保持原样的 C 标头中。我怎样才能从C++使用它？

任何实际上不需要类型符合VS对"POD"的定义的东西，尽管类型特征，都应该没问题。

相关文章：