模板元编程是一种元编程技术，其中编译器使用模板生成临时源代码，该代码由编译器与其余源代码合并然后编译。
我试图弄清楚如何做一些关于概念和模板类型（如std :: vector）对我来说很棘手的事情。我正在尝试应用类似于...
我正在使用模板元编程来创建类似元组的类模板。与std :: tuple不同，我的元组中的所有值都是同一类型，并且值的数量等于“ ...
当尝试从元组和整数值的组合构造引用元组时，我遇到了奇怪的行为。给定以下内容：struct A {int v = 1; };结构B {int v = 2; }; ...
如何将boost :: hana :: tuple转换为std :: variant
我有以下代码，我想将boost :: hana :: tuple转换为std :: variant命名空间hana = boost :: hana;模板 struct to_variant;模板
我想使用CRTP模仿以下行为：#include #include class GameNumber {public：〜GameNumber（）{}}; class GameNumber_real：public GameNumber {...
我已经建立了可变参数模板类型列表模板 struct type_list {};和一些修饰符功能，例如push_back模板 ...
子类的动态方法在lambda捕获中使用时会调用父类的虚拟方法，导致分段错误
编辑：在虚拟函数的实现中使用final关键字会导致打印正确的字符串，但是为什么这里需要使用final关键字呢？有人可以解释吗？我正在修补...
使用类型的模板对（std :: plus，std :: minus）之类的对称关系建模吗？
是否有可能在c ++（20）中定义（无序）类型对，从而允许通过在编译时提供其任何成员来找到这样的对？这可以通过手动操作来实现。...
如何以编程方式生成相同值的std :: index_sequence，而不必对每个元素进行递归模板实例化
＃include template > struct index_sequence_of_same_value;模板
C ++ std :: enable_if fallback？
我正在设置可变参数模板函数，以便能够在特定系列的类上调用各种函数重载。到目前为止，当一个不受支持的类时，我已经能够“破坏”编译...
我有一堆函数，可以检查各种形状之间的碰撞。 bool Collides（R r，Circle c）; bool Collides（Rect r，Line l）; bool Collides（l行，c圈）；我希望我...
我正在为游戏引擎编写静态反射库（这是一个空闲时间的个人项目）。请注意，我正在使用C ++ 17。我不是直接存储类成员偏移量，而是存储成员...
是否存在可以使编译器陷入无限循环的这种编译时计算？无限循环可能不会消耗增加的内存吗？否则可能由于内存不足而停止。
[我正试图通过一本名为《实用C ++元编程》的书来进入TMP，但我一直努力尝试推导第一个示例。我的目标是使用... ...进行模板化的函数调用。
最好通过一个示例进行解释：模板 struct OnePair {使用TupleOfArgs = std :: tuple ;使用TupleOfPairs = std :: tuple
我试图用C ++创建一个编译时简单的键-值映射。我正在使用/ std：c ++ 11进行编译。 （使用IAR编译器嵌入代码，目前仅支持cpp ++ 11）我已经了解到...
我需要一个对于给定完整类类型返回其模板的元函数（例如f > :: type或f > :: type结果为foo）。或者它可能在f [ ] >>] >> f<foo<bar>>::type or f<foo<baz>>::type results in foo 不完全是（请参见is-an-alias-template-considered-equal-to-the-same-template，您可以执行以下操作： template <typename T> struct template_class; template <template <typename> class C, typename T> struct template_class<C<T>> { template <typename U> using type = C<U>; }; 或者它可能在f<foo<bar>, foo<baz>>::value上返回true，在f<foo<bar>, not_foo<baz>>::value上返回false [即使是有限的，也更容易将专业化为is_same： template <typename, typename> struct has_same_template_class : std::false_type{}; template <template<typename> class C, typename T1, typename T2> struct has_same_template_class<C<T1>, C<T2>> : std::true_type{}; 可能您想要这样的东西： #include <type_traits> template<class> struct foo; template<class> struct not_foo; struct bar; struct baz; template<class, class> struct trait : std::false_type {}; template<template<class> class T, class S1, class S2> struct trait<T<S1>, T<S2>> : std::true_type {}; static_assert( trait<foo<bar>, foo<baz> >::value); static_assert( trait<not_foo<bar>, not_foo<baz>>::value); static_assert(!trait<foo<bar>, not_foo<baz>>::value); static_assert(!trait<foo<bar>, not_foo<bar>>::value); Demo
我真的不知道这个名字叫什么，请原谅。我认为最好以身作则。无效foo（std :: pair ，std :: pair ，std :: ...
随着C ++的扩展，融合了普通计算和类型计算，我想知道是否有办法进行类似的工作？静态常量int x = 47;使用T =（x％2）？ int：双精度我知道我可以...
C ++使用std :: enable_if创建最多10个参数的std :: tuple专业化
我想创建一个具有最多10个args专业化的元组，类似于std :: pair是两个args的专业化方式。即元组 将具有成员first（），second（），...