Question

我使用的是第三方API，其中包含一个包含一组typedef的头文件。在过去4年中，对某些typedef进行了微小的更改（例如，在unsigned / signed之间切换，从int更改为long等）。

我想在我的代码中添加编译时检查，以便我知道特定的typedef是否已更改。我想添加如下内容：

#if !std::is_same<::ApiType, int>::value
#error Type has changed
#endif

当我在各种typedef中尝试这个时，我发现总是抛出编译错误。

我设置了一个小的控制台程序，它显示了同样的问题（即对于预处理程序的使用总是假的）但在预处理器之外很好：

#include "stdafx.h"
#include <Windows.h>
#include <type_traits>

int main()
{
#if std::is_same<int, int>::value
  const auto aa = 14; // omitted
#else
  const auto bb = 17;
#endif

#if std::is_same<::DWORD, int>::value
  const auto cc = 14; // omitted
#else
  const auto dd = 17;
#endif

  const auto a = std::is_same<int, int>::value; // true
  const auto b = std::is_same<::DWORD, int>::value; // false
  const auto c = std::is_same<::DWORD, unsigned long>::value; // true

  return 0;
}

我正在使用Visual Studio 2015。

如何对期望的类型实现这样的编译时检查（特别是如果类型不相同则产生编译时错误）？

Answer 1

预处理器对类型一无所知。（提示：它在编译之前运行，因此'pre'。）

你想要的是static_assert。 E.g：

static_assert(std::is_same<::ApiType, int>::value, "Type has changed");

^{^{虽然，因为它是一个断言，也许它应该说'has not '。}}

你几乎可以把它放在任何地方，甚至在任何功能之外。

如何使用std :: is_same生成编译时错误？

1 个答案: