除了在C 20中引入的显式（expr），还有C 14替代方案吗？

Question

TL；DR：我正在寻找一个相当于以下C20MWe的C14：

template<int sz>
struct bits {
  int v; // note explicit(expr) below
  explicit(sz > 1) operator bool() const { return bool(v); }
};

int main() {
  bool c = bits<1>{1}; // Should work
  bool d = bits<3>{1}; // Should fail
}

背景：

我们有一个C类位

然而，1位位向量（在我们的上下文中）几乎完全等同于布尔值，因此当sz==1时，运算符bool（）应该是隐式的。

这可以通过显式（sz）来实现

我试图为sz==1重载运算符，但似乎显式的限定符也适用于它：以下操作不起作用。

template<int sz>
struct bits {
  int v;
  explicit operator bool() const { return bool(v); }
};

template<> bits<1>::operator bool() const {
  return bool(v);
}

int main() {
  bool c = bits<1>{1}; // Fails: "No viable conversion"
}

因此，问题是：我如何在C 14中指定运算符bool（）应该只对sz显式

下面我为好奇的读者介绍一些背景知识。

背景：

这个问题出现在C语言中的嵌入式领域特定语言的上下文中。业务需求之一是操作符==返回一个位

为了让好奇的读者更具体，以下程序在GNU上编译得很好，但在macOS上编译得不好，这是因为operator==onstd:：array的实现方式：

#include <array>

struct S { explicit operator bool() const { return true; } };

struct T {};
S operator==(T, T) { return S(); }

int main() {
  std::array<T, 1> arr = { T() };
  return arr == arr;
}

这是因为在GNU libstdc的数组上实现=的过程中，有一个测试如果（！（*it1==*it2）），它会在s上调用显式运算符bool（），不会出现问题，在macOS上，库使用if（！_pred（*it1，*it2））和_pred大致相当于bool__pred（sa，sb）{return a==b；} ，不进行打字检查。




Answer 1

是的。您可以使用SFINAE转换运算符：

#include <type_traits>

template<int sz>
struct bits {
  int v;
  explicit operator bool() const { return bool(v); }

  template <int S = sz>
  operator std::enable_if_t<S == 1, bool> () const { return bool(v);}
};

在螺栓上检查一下

int main()
{
  bool c1 = bits<1>{1};                    // Ok
  bool c2 = bits<3>{1};                    // error cannot convert
  bool c3 = static_cast<bool>(bits<3>{1}); // OK
}