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");