如何使用宏进行static_assert？

Question

我尝试使用此建议执行静态断言，但是如果在模板方法中使用它，则不会出现编译错误。

示例如下：

#include <iostream>

#define STATIC_ASSERT(expr, msg)               \
{                                              \
    char STATIC_ASSERTION__##msg[(expr)?1:-1]; \
    (void)STATIC_ASSERTION__##msg[0];          \
}

template <typename T >
class A
{
public:
  int foo(const int k )
  {
    // does not work
    STATIC_ASSERT( k > 9, error_msg );
    return k+5;
  }
};

int bar(const int k )
{
  // works fine
  //STATIC_ASSERT( k > 9, error_msg );
  return k+5;
}

int main()
{
  A<int> a;
  const int v = 2;

  std::cout<<a.foo(v)<<std::endl;
  std::cout<<bar(v)<<std::endl;

  // works fine
  //STATIC_ASSERT( v > 9, error_msg );
}

我用g ++ 4.7.2编译了它，并警告说c ++ ISO不支持VLA：

g++ -Wall -g  -std=c++98 -Wextra -pedantic gvh.cpp

那么，为什么在模板方法中使用STATIC_ASSERT时编译不会失败？ 有没有办法使它失败？

注意 ：我需要一个c ++ 98（甚至c ++ 03）解决方案，如果可能的话，只能使用宏。

Answer 1

在C ++ 11之前，我通常会这样做：

typedef int static_assert_something[something ? 1 : -1];

您还可以查看boost静态assert 。 但这太my肿了，我不喜欢。 使事情变大是容易的，使它们变更好是困难的。

Answer 2

考虑一下Boost.StaticAssert之类的东西，尽管如果您不可用，可以尝试定义一个模板。

template<bool>
struct static_assertion;

template<>
struct static_assertion<true> {};

尽管这样做的缺点是没有与之关联的消息。

在对StackOverflow进行了一些搜索之后，我偶然发现了这个问题 ， 该问题的答案与我的相似，并且提供了许多无需提高就可以实现的替代方法。

Answer 3

这基本上是Maxim的回答，界面更加方便。 我从这里拿走的。 关于它的好处是，模板的使用可防止用户传递非编译时常数值作为条件。

template<bool Is_Condition_Met>
struct Static_assert_cpp98
{
  static void apply() {static const char junk[ Is_Condition_Met ? 1 : -1 ];}
};

template<>
struct Static_assert_cpp98<true>
{
  static void apply() {}
};

#define STATIC_ASSERT_CPP98(condition) Static_assert_cpp98<condition>::apply()

Answer 4

如果将调用添加到有问题的方法（a.foo（）;），则静态断言将失败（仅将编译该方法）。 您知道您不应该对我假设的运行时值（例如“ k”）进行静态断言。

Answer 5

int foo(const int k)
{
  STATIC_ASSERT( k > 9, error_msg );
  return k+5;
}

静态断言仅适用于编译时常量表达式。

k不是编译时常量表达式。

非类型模板参数是模板实例化期间的编译时常量表达式，因此您可以这样修改代码：

template <int K>
int foo()
{
  STATIC_ASSERT( K > 9, error_msg );
  return K+5;
}