该类型和函数是否有现有名称？

计算机科学中有两个难题：缓存失效、命名和差一错误。

这是关于第二个问题：命名事物。

我正在寻找这种技术或类型是否已经在其他地方使用过并且有一个名称。dichotomy是一个不错的名字，但是bools_at_compile_time是一个可怕的。

using dichotomy_t = std::variant<std::false_type, std::true_type>;
// (or a struct that inherits from that, and overloads operator bool())

constexpr dichotomy_t dichotomy( bool b ) {
  if (b) return std::true_type{};
  return std::false_type{};
}
template<class F, class...Bools>
constexpr auto bools_at_compile_time( F&& f, Bools...bools ) {
  static_assert( (std::is_same<Bools, bool>{} && ...) );
  return std::visit( std::forward<F>(f), dichotomy(bools)... );
}

dichotomy_t是 true 和 false 之间的变体。其运行时表示为0 or 1.

这可以让你做的是：

auto foo( bool x, bool y ) { // <-- x and y are run-time bools here
  auto func = [&](auto x, auto y) {
    return some_template<x,y>(); // <-- x and y are compile-time bools here
  };
  return bools_at_compile_time( func, x, y ); // <-- converts runtime to compile time bools
}

有没有名字dichotomy_t或者更一般的bools_at_compile_time技术？我正在寻找一个在任何社区（甚至是非 C++ 社区）中都众所周知的名称，甚至是一个描述“获取运行时值并在生成的代码中创建一个开关和一组编译时值以在两者之间进行选择”的动词“比一句话更好。

实例 https://godbolt.org/z/5tD_iR

一个好的答案将包括名称、描述该名称含义的引文/引文、在其他上下文中使用该命名事物的示例，以及该名称等同于或包含上述类型/值和函数的证据。

（这可能有助于找到一个名称，概括起来就是enum代替bool，它具有固定数量的已知状态，以及将运行时值转换为每个 case 子句中的编译时常量的 switch/case 映射。）

我不知道这个模式有任何现有的名称，但是如果您仔细研究 STL 是如何命名事物的，您可以使用足够接近的名称来使您的代码明确。

我也喜欢dispatcher_t来自@Jarod42的想法，我认为它比dichotomy_t or n_chotomy_t.

dichotomy()可以称为make_variant(b)。因为它会返回std::variant参数中给出的布尔值。很像std::make_tuple从多个参数创建一个元组。

我建议更换bools_at_compile_time by static_eval。很像static_assert在编译时做出断言。

不是说如果eval不是适合您的用例的正确形容词，您可以轻松调整它static_*.

#include <type_traits>
#include <variant>
#include <utility>

using dichotomy_t = std::variant<std::false_type, std::true_type>;
// (or a struct that inherits from that, and overloads operator bool())

constexpr dichotomy_t make_variant( bool b ) {
  if (b) return std::true_type{};
  return std::false_type{};
}
template<class F, class...Bools>
constexpr auto static_eval( F&& f, Bools...bools ) {
  static_assert( (std::is_same<Bools, bool>{} && ...) );
  return std::visit( std::forward<F>(f), make_variant(bools)... );
}

template<bool x, bool y>
auto some_template() {
    return x || y;
}

auto foo( bool x, bool y ) { // <-- x and y are run-time bools here
  auto func = [&](auto x, auto y) {
    return some_template<x,y>(); // <-- x and y are compile-time bools here
  };
  return static_eval( func, x, y ); // <-- converts runtime to compile time bools
}

#include <iostream>

int main() {
    std::cout << foo( true, true ) << "\n";
}