C++及系统软件技术大会演讲稿合辑_部分10.pdfVIP

从现代C++元编程到ORM 祁 宇 • 新特性（C++11/14/17 ） • 元编程 • 元编程的一些用途 • 元编程实现ORM Modern C++ Creative Ideas Variadic Template • 适配不同的接口 Variadic Template Structured Binding std::mapint, int mp = { {1, 2}, {3, 4} }; for(auto [k, v] : mp) std::coutk v\n; std::tupleint, double tp(1, 2.5); auto [a, b] = tp; Variadic Template + Structured Binding • 分割一个定长的variadic template templatetypename... Args auto split_3args(Args... args){ auto tp = std::make_tuple(std::forwardArgs (args)...); return std::make_tuple(std::get0(tp), std::get1(tp), std::get2(tp)); } auto t = split_3args(1, 2.5, test, 1); //tuple(1, 2.5, test) Variadic Template + Structured Binding templatetypename... Args auto split_3args(Args... args){ auto tp = std::make_tuple(std::forwardArgs (args)...); auto [a, b, c, d] = tp; return std::make_tuple(a, b, c); } auto split_3args(auto a, auto b, auto c, auto d){ return std::make_tuple(a, b, c); } Constexpr If templatetypename T std::enable_if_tstd::is_integralT::value, std::string to_str(T t) { return std::to_string(t); } templatetypename T std::enable_if_t!std::is_integralT::value, std::string to_str(T t) { return t; } Constexpr If templatetypename T auto to_str17(T t) { if constexpr(std::is_integralT::value) return std::to_string(t); else return t; } • 消除enable_if • 让编译期选择变得简单 • 更紧密、清晰的上下文 Enable_if • 用constexpr if消除enable_if • 提供参数相同，返回类型不同的同名接口 Constexpr If + Variadic Template 扩展接口： ➢接口不变 ➢根据参数类型的不同展现不同的行为 extend(); //no extention extend(0); //do int branch extend(2.5); //do double branch Constexpr If + Variadic Template templatetypename... Args auto extend(