模板元编程是一种元编程技术，其中编译器使用模板生成临时源代码，该代码由编译器与其余源代码合并然后编译。
如何在 C++20 中定义一个概念来检查类型是否与类型列表中的任何类型匹配
我想用C++定义一个概念（<= C++20) to check if a type matches any of the types define in a type-list struct. The following is my attempt so far: template 结构
比如我想实现一个这样的模板函数： 模板 int GetTypeIndex() {} 它总是为相同的“T”返回行列式从零开始的索引，最后......
我的目标是有一种通用的方法来遍历 std::tuple，下面的代码试图展示它： #包括 #包括 使用命名空间 std； 模板 我的目标是有一种通用的方法来遍历 std::tupple，下面的代码试图展示它： #include <iostream> #include <tuple> using namespace std; template <typename t, size_t t_idx, typename t_tuple> concept visit_tuple_element_value = requires(t &&p_t, const t_tuple &p_tuple) { { p_t.template operator()<t_idx>( std::declval<std::add_const_t<std::add_lvalue_reference_t<t_tuple>>>()) } -> std::same_as<bool>; }; template <typename t_tuple, typename t_function, size_t t_idx = 0> requires(visit_tuple_element_value<t_function, t_idx, t_tuple>) void traverse_tuple_values(t_function p_function, const t_tuple &p_tuple) { if constexpr (t_idx < std::tuple_size_v<t_tuple>) { if (p_function.template operator()<t_idx>(p_tuple)) { traverse_tuple_values<t_tuple, t_function, t_idx + 1>(p_function, p_tuple); } } } struct a {}; struct b {}; struct c {}; using my_tuple = std::tuple<b, a, c>; int main() { my_tuple _tuple; auto _visitor = [&]<size_t t_idx>(const my_tuple & /*p_tuple*/) { if constexpr (std::is_same_v<std::tuple_element_t<t_idx, my_tuple>, a>) { std::cout << "'a' is at index " << t_idx << std::endl; } else { std::cout << "'a' is NOT at index " << t_idx << std::endl; } return true; }; traverse_tuple_values(_visitor, _tuple); return 0; } 我收到错误： 'traverse_tuple_values<std::tuple<b, a, c>, (lambda at main.cpp:63:19), 3UL>' 我不明白为什么p_function.template operator()<t_idx>(p_tuple)，因此_visitor，被称为t_idx等于3，如果我在traverse_tuple_values行if constexpr (t_idx < std::tuple_size_v<t_tuple>)。 g++ --version报告g++ (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0 正确的代码是，感谢@Eljay： template <typename t_tuple, typename t_function, size_t t_idx = 0> requires(visit_tuple_element_value<t_function, t_idx, t_tuple>) void traverse_tuple_values(t_function p_function, const t_tuple &p_tuple) { if constexpr (t_idx < std::tuple_size_v<t_tuple>) { if (p_function.template operator()<t_idx>(p_tuple)) { if constexpr ((t_idx + 1) < std::tuple_size_v<t_tuple>) { traverse_tuple_values<t_tuple, t_function, t_idx + 1>(p_function, p_tuple); } } } }
我想根据模板类型分配类的静态 constexpr 字段。 我找到了下面的解决方案，但我想这不是最好的解决方案，特别是如果有其他类型需要支持的话。也许...
在编译时，我需要通过声明最多三个单独的数组来分配内存，每个数组分别从三个相同大小的内存库中分配。从第一个bank开始，数组是decl...
这个问题类似于C++ - Multiple parameter packs for variadic function，但专门针对结构。 以下编译并运行良好（取自链接的问题）。 模板...
我试图显式实例化一个成员函数模板，以使其定义远离标头。需要实例化的类型是 std::variant 的替代类型
最近，我一直在使用 C++20 的新 constexpr std::vectors （我使用的是 GCC v12），并且遇到了一个小问题（这实际上是我上一个问题的扩展，但是我也这么想
对于整数向量的向量的笛卡尔积，有一个出色的 C++ 解决方案（实际上有 2 个解决方案：递归和非递归）。为了说明/简单起见，让我们...
在 Bit Twiddling Hacks 网站上，提供了以下算法来将整数四舍五入到 2 的下一个幂： 无符号整型 v； // 计算 32 位 v 的下一个最高的 2 次方 v--； v |=...
考虑： 模板::类型> std::vector WorkOnIt（首先输入，最后输入） { 标准::
使用std::is_base_of获取value时，为什么可以用{}或()代替::value？
为什么这三个输出是等价的，这是什么语法？
如何使`std::conditional_t`与递归一起工作？
我的用例如下： 模板 结构皮{ 使用类型 = std::conditional_t, 类型名剥离>::type, T&...
我尝试编写一个行为类似于“编译时继承”的程序，例如以下 C++11 元程序... // 导入 #包括 // 非临时...
我想专门研究下面示例中的 NumberValue 类。 类号{}； 第一类：公众号{ 静态 constexpr int 值 = 1； }; 第二类：公众号{ 静电...
decltype(std::get<0>(tup))到底是什么？
我目前正在学习 C++ 元编程，我正在尝试查看元组的元素是否是指针。我尝试了这种方法： 整数a = 3，b = 4； 自动 tup = std::make_tuple(&a, b); 标准：...
我想编写一个宏来声明一个结构体字段并将该字段的初始化过程插入到 Init() 函数中。但我发现宏不可能将代码插入到不同的地方（在...
我正在尝试开发一个包装器来帮助人们使用 pthread 来调用任何成员函数。 模板 结构签名； 模板 斯特...
在多种情况下，我想使用类似的东西 模板 结构S { 整数值； if constexpr(条件) /*#if 条件*/ 双倍 my_extra_member_variable; /*#结束...
我在尝试传递已经初始化的字符串时遇到问题，该字符串实际上没有正确接受重载： #包括 #包括 #包括 我在尝试传递已经初始化的字符串时遇到问题，该字符串实际上没有正确接受重载： #include <cstddef> #include <ranges> #include <algorithm> #include <iostream> template <std::size_t N> class A { char m_m[N]; public: A(char const (&p)[N]) { // Copy p to m_m std::ranges::copy(p, m_m); } }; template <std::size_t N> class B { public: B(A<N> a) { // Perform some operation on 'a' } }; int main() { auto k = B("test"); } 采取，过载正确，但我目前得到： prog.cc:26:22: error: no matching function for call to 'B(const char [5])' prog.cc:20:5: note: candidate: 'template<long unsigned int N> B(A<N>)-> B<N>' 20 | B(A<N> a) { 代码中的问题是类 B 的构造函数需要一个 A<N> 类型的对象，但您试图传递一个字符串文字，它是一个字符数组，而不是 A<N> 类型的对象。 您可以修改 B 构造函数以直接接受字符串文字。 这是代码的更新版本： #include <cstddef> #include <ranges> #include <algorithm> #include <iostream> template <std::size_t N> class A { char m_m[N]; public: A(char const (&p)[N]) { // Copy p to m_m std::copy(p, p + N, m_m); } }; template <std::size_t N> class B { public: B(const char (&p)[N]) { A<N> a(p); // Perform some operation on 'a' } }; int main() { auto k = B("test"); return 0; }