调用 static_assert(false) 的正确方法是什么？

Question

我正在尝试使用 static_assert 强制某些东西失败。如果您尝试以特定方式实例化特定模板函数，我想生成一个编译器错误。我可以让它工作，但它真的很难看。有更简单的方法吗？

这是我的第一次尝试。这根本不起作用。它总是会产生错误，即使没有人尝试使用此功能。

template< class T >
void marshal(std::string name, T  *value)
{
  static_assert(false, "You cannot marshal a pointer.");
}

这是我的第二次尝试。它确实有效。如果你不调用它，你就不会出错。如果你确实调用它，你会得到一个非常易读的错误消息，它指向这一行并指向试图实例化它的代码。

template< class T >
void marshal(std::string name, T  *value)
{
  static_assert(std::is_pod<T>::value && !std::is_pod<T>::value, "You cannot marshal a pointer.");
}

问题是这段代码充其量是丑陋的。它看起来像一个黑客。恐怕下次我更改优化级别、升级我的编译器、打喷嚏等时，编译器会意识到这第二种情况与第一种情况相同，它们都将停止工作。

有没有更好的方法来做我想做的事情？

这里有一些背景。我想要几个不同版本的 marshal() ，它们适用于不同的输入类型。我想要一个使用模板作为默认案例的版本。我想要另一个专门禁止除 char *. 之外的任何指针的指针。

void marshal(std::string name, std::string)
{ 
  std::cout<<name<<" is a std::string type."<<std::endl;
}

void marshal(std::string name, char *string)
{
  marshal(name, std::string(string));
}

void marshal(std::string name, char const *string)
{
  marshal(name, std::string(string));
}

template< class T >
void marshal(std::string name, T value)
{
  typedef typename std::enable_if<std::is_pod<T>::value>::type OnlyAllowPOD;
  std::cout<<name<<" is a POD type."<<std::endl;
}

template< class T >
void marshal(std::string name, T  *value)
{
  static_assert(false, "You cannot marshal a pointer.");
}

int main (int argc, char **argv)
{
  marshal(“should be pod”, argc);
  marshal(“should fail to compile”, argv);
  marshal(“should fail to compile”, &argc);
  marshal(“should be std::string”, argv[0]);
}

Answer 1

没有办法做到这一点。您也许可以让它在您的编译器上运行，但生成的程序格式不正确，无需诊断。

使用

=delete

.

template< class T >
void marshal(std::string name, T  *value) = delete;

Answer 2

根据[temp.res]/8（强调我的），您尝试做的事情注定是错误的（即使您的解决方法也可能失败）：

知道哪些名称是类型名称允许每个模板的语法 被检查。 程序格式错误，不需要诊断，如果：
- 无法为模板 或模板中的 constexpr if 语句的子语句生成有效的特化，并且 模板未实例化，或者 (...)

Answer 3

依靠矛盾确实不是最好的，但有一个更简单的方法：

template <class...>
struct False : std::bool_constant<false> { };

template <class T>
void bang() {
    static_assert(False<T>{}, "bang!");
}

为什么这不属于“无有效专业化”的情况？
好吧，因为您 can 实际上可以使用代码的后半部分进行有效的专业化：

template <>
struct False<int> : std::bool_constant<true> { };

int main() {
    bang<int>(); // No "bang"!
}

当然，实际上没有人会专门研究

False

来破坏您在真实代码中的断言，但这是可能的 :)

Answer 4

我不明白你为什么一开始就有

template< class T > void marshal(std::string name, T  *value)

。这应该只是主模板中的 static_assert。

也就是说，您应该将主模板的定义更改为

template< class T >
void marshal(std::string name, T value)
{
  static_assert(std::is_pod<T>::value);
  static_assert(!std::is_pointer<T>::value);
  std::cout<<name<<" is a POD type."<<std::endl;
}

Answer 5

其实我遇到了和你一样的问题，我的static_assert(false)在gcc-9中表现不错。 但是当我使用 gcc-7 作为我的编译器时，它就会发生。所以最好的方法可能是升级你的 gcc 或编译器版本。