考虑以下情况

typedef void (*foo)();
template<foo f>
struct bar {
     static_assert(f!=nullptr,"f == null!");
};

void baz() {}
inline void bax() {  }

bar<baz> ok;
bar<bax> bad; // error: non-constant condition for static assertion

baz和bax都被接受为模板参数。这表明两者都被接受为常量。然而，在static_assert中，它们似乎不同（至少在gcc 4.9中）-bax不再是常量。
我的假设是static_assert和template对常量的评估是相同的。

• 'bax不是有效的模板参数'或
• static_assert不应引发非恒定条件错误。

我说错了吗？