C++20：使用概念实现 std::is_constructible

Question

是否有一种可移植的方式来实现 std::is_constructible 使用概念而无需 STL 仅使用 requires 表达式或模板元编程？

考虑这段代码：

template <class T, class... Args>
struct is_constructible
    : std::bool_constant<requires {
      new T(std::declval<Args>()...);
    }> {
};

它适用于除引用以外的其他数据类型，因为不能 new 引用类型。

// Test cases
auto main() -> int {
  static_assert(is_constructible<int>::value);
  static_assert(is_constructible<int, int>::value);
  static_assert(is_constructible<int, float>::value);
  static_assert(!is_constructible<int, int *>::value);
  static_assert(is_constructible<int &, int &>::value);
  static_assert(is_constructible<int &&, int &&>::value);
  static_assert(!is_constructible<void, void>::value);
  static_assert(!is_constructible<int(), int()>::value);
  static_assert(is_constructible<int (*)(), int()>::value);
  static_assert(!is_constructible<intptr_t, int *>::value);
  static_assert(!is_constructible<int &, float &>::value);

  static_assert(std::is_constructible<int>::value);
  static_assert(std::is_constructible<int, int>::value);
  static_assert(std::is_constructible<int, float>::value);
  static_assert(!std::is_constructible<int, int *>::value);
  static_assert(std::is_constructible<int &, int &>::value);
  static_assert(std::is_constructible<int &&, int &&>::value);
  static_assert(!std::is_constructible<void, void>::value);
  static_assert(!std::is_constructible<int(), int()>::value);
  static_assert(std::is_constructible<int (*)(), int()>::value);
  static_assert(!std::is_constructible<intptr_t, int *>::value);
  static_assert(!std::is_constructible<int &, float &>::value);
  
  return {};
}

Answer 1

没有。当然不是“干净漂亮”。

事实上，标准化过程中的早期提案试图使用 requires 表达式来实现 constructible_from，但是有太多的 corner case，我们放弃了，并根据类型特征来指定它相反。

C++20：使用概念实现 std::is_constructible

C++20: Implement std::is_constructible using concepts

c++

c++20

typetraits

c++-concepts