在我寫的構造函數模板中，我希望在類模板的接口上有一個靜態斷言。情況基本（非編譯）示例如下： class Baz
{
}
template<typename T>
class Bar: public Baz
{
}
template<typename T>
class Qux: public Baz
{
}
class Foo
{
template<ty
我想使用static_assert強制失敗。如果您嘗試以特定方式實例化特定的模板化函數，我想生成編譯器錯誤。我可以讓它工作，但它真的很難看。有沒有更簡單的方法來做到這一點？ 這是我第一次嘗試。這根本不起作用。即使沒有人試圖使用這個函數，它總是會產生一個錯誤。 template< class T >
void marshal(std::string name, T *value)
{
我的問題是，下面的代碼是否有效： template<int i> class Class
{
static_assert(sizeof(i) == 0, "Class instantiated with i != 1");
};
template<> class Class<1> {};
這個片段與g++編譯。但clang++被困在static_assert： error:
考慮以下問題，它使用-std=c++14在Clang 3.8上成功編譯。 #include <boost/hana.hpp>
namespace hana = boost::hana;
int main() {
constexpr auto indices = hana::range<unsigned, 0, 3>();
hana::for_each(indices,