c++ - static_assert 是否需要使用模板参数？

Question

我试图禁止对我已有的类的引用，但我看到了一些奇怪的行为。我已经构建了一个玩具示例来展示正在发生的事情。如果我有这个:

template <class T>
struct something {
};

template <class T>
struct something<T&> {
    static_assert(false, "reference disallowed with something");
};


int main() {
    something<int>  a; (void)a;
}

即使我没有声明带有引用的实例，它仍然失败:

> g++ -std=c++11 foo.cc -o foo
foo.cc:7:5: error: static assertion failed: reference disallowed with something
     static_assert(false, "reference disallowed with something");
     ^

如果我调整它以便它必须通过代理类使用模板参数，那么它就可以工作:

template <class T>
struct something {
};

template <class T>
struct something<T&> {
    template <class TT> struct falsity {
        static const bool value = false;
    };
    static_assert(falsity<T>::value, "reference disallowed with something");
};

int main() {
    something<int>  a; (void)a;
}

然后一切正常，这是预期的行为吗？我原以为静态断言无论如何都会是该类的成员。

编辑:这是 gcc 版本 4.8.2 (Ubuntu 4.8.2-19ubuntu1)

Answer 1

您的 static_assert 不依赖于任何模板参数，因此编译器不必等到类模板实例化时才评估语句。相反，它在 two phase name lookup 的第一阶段这样做并且您的代码无法编译。

在您的情况下，您可以通过将断言更改为来修复失败

static_assert(!std::is_lvalue_reference<T>::value, "reference disallowed with something");