c++ - 如何用宏做static_assert？

Question

我试过使用this suggestion执行静态断言，但如果我在模板的方法中使用它，则不会出现编译错误。

例子如下:

#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 static assert .但它对我来说太臃肿了。把事情做大很容易，把事情做得更好很难。