TodayGroupSharedCategorySubscribe

这是昨天群里的一个问题，但我想谈的是背后的本质问题。 这个问题其实可以简化为： template <typename …Args> void foo(std::function<bool(Args…)>) { } int main() { // error: no matching function for call to 'foo(main()::<lambda(int)>)' foo([](int) { return true; }); } 本质原因在 TAD（模板参数推导），这里实参 A = closure type，形参 P = std::function<bool(Args…)>。由于类型完全不同，P 无法替换成 A，这里 TAD 完全不可能推断出 Args… 的类型。于是，模板函数因模板替换失败，而被早早移除，连一级筛选 Candidate functions 都未能进入。 不用 std::function 可能更易理解。一个例子： template <class… Continue Reading T240104 Failed to Passing a Lambda Expression to std::function

不知大家是否遇到过这样的代码： template <class… Args> void f(Args……) {} 参数包后面紧跟着 6 个 .，一般不是用 … 来扩展参数包吗？这是什么鬼东西？ 这个其实可以称为 Two ellipsis operators（非正式称谓），虽说极其罕见，但却是 C++11 标准的一部分，见 [dcl.fct]/3: parameter-declaration-clause:  parameter-declaration-listopt …opt  parameter-declaration-list , … 也就是说，它其实是 …, … 的省略写法。以下这三种写法完全等价： template <class… Args> void f(Args……) {} template <class… Args> void f(Args… …) {} template <class… Args> void f(Args…, …) {}… Continue Reading T240102 What does the …… mean in C++?

模板加约束，其中有迷思，着意分析一下。 template <typename T> void f(T t) {} template <typename T> void f(T t) requires true {} f(1); // the second one wins 二比一特殊，决战胜出，似乎全在预料之内。 根据 [temp.over.link]/7： Two function templates are equivalent if they are declared in the same scope, have the same name, have equivalent template-heads, and have return types,… Continue Reading T231212 Dummy Rquires Clause Positioning in Function Template Overloading

上篇讲解了 Compile time for，它是遍历技术中的迭代方式之一，特别常用。 它一般与 Fold expressions 组合使用，它们两个，一个相当于编译期的 Range-based for，一个相当于编译期的 for loop。由于 std::index_sequence<N> 本身只是一个静态序列，并不具备向前迭代的能力，而 Fold expressions 天生就是干这个的，两相组合，Compile time for 的功能便可完全具备。 再者，Fold expressions 只适合用来局部访问数据，不支持全局操作，当你想要整体性操作某一数据集合时，除了递归，这种迭代方式是唯一选择。相较起来，其他方式都要更加麻烦，参考上篇的例子。 考虑之前群内讨论过的一个例子，求结构体成员个数，来对比一下几种常见的编译期遍历技术。 下面是一种递归解法： struct Any { template <class T> operator T() const; }; template <class T, class… Args> requires std::is_aggregate_v<T> consteval auto CountAggregateMembers() { if constexpr (requires {… Continue Reading T231119 几种遍历技术实现结构体成员计数的比较

先说明，本篇并不是说 Expansion statements。 遍历方式分为两种，自下而上叫迭代，自上而下叫递归。 递归往往需要多个函数（if constexpr 可以避免），一般迭代是一种更加自然的方式。前面正式文章写过大量 tuple-like 类型的遍历方法，虽然也包含了非 tuple-like 类型的迭代方法，但却是作为次要部分出现的，这篇单独摘出来再讲解一下。 tuple-like 类型就是指存在 std::tuple_size<T> 和 std::get<I>(t) 定义的类型，此类类型具备通用的遍历方式。由旧文可知，目前最简单的迭代方式是借助 std::apply： void pack_iterator_with_tuple(auto&&… args) { auto tuple = std::make_tuple(std::forward<decltype(args)>(args)…); std::apply([](const auto&… tupleArgs) { ((std::cout << tupleArgs << " "), …); }, tuple); } 当然，对于参数包来说，最简单的方式是借助 Fold expressions。 void pack_iterator_with_fold_expr(auto&&… args) { ((std::cout << std::forward<decltype(args)>(args)… Continue Reading T231111 Compile time for

这篇稍微总结一下异构类型的迭代方法。 首先是静态异构类型，主要指的就是 tuple like 类型，它们可以使用 std::apply 迭代。 void print(auto tuple_like_value) { std::apply([](const auto&… args) { (fmt::print("{} ", args), …); }, tuple_like_value); fmt::print("\n"); } int main() { // Iterate std::pair { using heterogenous_t = std::pair<int, double>; heterogenous_t container { 1, 0.8 }; print(container); } // Iterate std::tuple { using heterogenous_t =… Continue Reading T231104 异构类型迭代法