模板元编程(二) Template Metaprogramming ---C++ 20

模板元编程(二) Template Metaprogramming —C++ 20

现在我们介绍参数与模板参数混合使用

先看一下例子:

#include <iostream>int power(int m, int n)
{int r = 1;for (int k = 1; k <= n; ++k) r *= m;return r;
}template <int m, int n>
struct Power
{static int const value = m * Power<m, n - 1>::value;
};template <int m>
struct Power<m, 0>
{static int const value = 1;
};int main()
{std::cout << '\n';std::cout << "power(2, 10)= " << power(2, 10) << '\n';std::cout << "Power<2,10>::value= " << Power<2, 10>::value << '\n';std::cout << '\n';
}

下面我们来看一个更好的例子:

#include <iostream>template <int n>
int Power(int m)
{return m * Power<n - 1>(m);
}template <>
int Power<0>(int m)
{return 1;
}int main()
{std::cout << '\n';std::cout << "Power<0>(10): " << Power<0>(20) << '\n';std::cout << "Power<1>(10): " << Power<1>(10) << '\n';std::cout << "Power<2>(10): " << Power<2>(10) << '\n';std::cout << '\n';
}

这个例子更加清晰明了

Hybrid Programming (参数与模板参数混合编程)

Power<0>(10)既有()中的函数参数也有<>中的模板参数,所以**Power同时是一个函数和元函数**

深入了解一下,我们可以用模板参数2实例化Power,并在循环中使用:

#include <iostream>template <int n>
int Power(int m)
{return m * Power<n - 1>(m);
}template <>
int Power<0>(int m)
{return 1;
}int main(int argc, char* argv[])
{std::cout << std::endl;const auto Power2of = Power<2>;for (int i = 0; i <= 20; ++i){std::cout << "Power2of(" << i << ")= "<< Power2of(i) << '\n';}std::cout << '\n';
}

image-20220523221550705

可以使用这种方式计算每个数的平方

不可以在循环中给Power可变的模板参数像这样:

for (int i = 0; i <= 20; ++i){std::cout << "Power<" << i << ">(2)= " << Power<i>(2) << '\n';}

使用模板创建全新的类型

每个模板实例化之后都会创建一个新的类型

例如:

auto res1 = Power<2>(10);                       // (1)
auto res2 = Power<2>(11);                       // (2)
auto rest3 = Power<3>(10);                      // (3)

前文的例子存在很多缺陷,比如传入Power<-1>(10)传入一个不合适的数,Power<2000>(10)运行时发生溢出

第一个问题可以使用concept解决,第二个问题暂时没有好的解决办法

但我们现在使用static_assert解决第一个问题

#include <iostream>template <int n>int Power(int m)
{static_assert(n >= 0, "exponent must be >= 0");return m * Power<n - 1>(m);
}template <>
int Power<0>(int m)
{return 1;
}int main(int argc, char* argv[])
{std::cout << std::endl;const auto Power2of = Power<-1>;for (int i = 0; i <= 20; ++i){std::cout << "Power2of(" << i << ")= "<< Power2of(i) << '\n';}std::cout << '\n';
}

image-20220523222808692

不要在编译阶段使用模板元编程

现在都是为了跟好的理解模板在编译器是如何工作的,更好的选择是constexprconsteval

现在都是为了跟好的理解模板在编译器是如何工作的,更好的选择是constexprconsteval

现在都是为了跟好的理解模板在编译器是如何工作的,更好的选择是constexprconsteval

现在都是为了跟好的理解模板在编译器是如何工作的,更好的选择是constexprconsteval

teval`**

现在都是为了跟好的理解模板在编译器是如何工作的,更好的选择是constexprconsteval

现在都是为了跟好的理解模板在编译器是如何工作的,更好的选择是constexprconsteval

现在都是为了跟好的理解模板在编译器是如何工作的,更好的选择是constexprconsteval

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/407918.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

探索 ASP.NET Futures (Part 2 - Search Enabled)

在本系列的上一篇文章中&#xff0c;我们探索了ASP.NET Futures (May CTP)的SearchSiteMap功能&#xff0c;说明了如何将ASP.NET的SiteMap影射为符合Sitemaps协议的XML以便搜索引擎更好的抓取我们的站点。然而让搜索引擎更好的抓取我们的站点了&#xff0c;这部分的优化却仅仅对…

让窗体获得焦点,一定会有您用到的时候

开发环境&#xff1a;Visual Studio .NET 2005 下的Windows Form Application 应用场景: 当我们有个窗体中的数据发生了变化而此窗体又没有获得焦点(不是用户操作的当前窗口)的时候&#xff0c;我们希望它获得焦点&#xff0c;这样用户就可以立刻发现它上面的数据发生了变化。…

容器和算法的改进 --- C++20

容器和算法的改进 — C20 C 20对容器和算法有很多的改进 std::vector 和std::string支持constexpr所有容器支持consistent container erasure , contains新的算法移动元素 std::shift_left可以检查 std::string 的前缀和后缀 支持 constexpr 的容器和算法 C 20的std::vecto…

CodeSmith基础(二)

本文将介绍CodeSmith与数据库进行交互生成相应的存储过程&#xff0c;本例使用的数据库为SQL Server 2000。 在与数据库进行交互时&#xff0c;我们使用到了一个CodeSmith自带的组件SchemaExplorer&#xff0c;利用这个组件我们可以访问数据库的数据表、存储过程、视图等…

[Android]使用ViewPager实现图片滑动展示

在淘宝等电商的APP首页经常能看到大幅的广告位&#xff0c;通常有多幅经常更新的图片用于展示促销信息&#xff0c;如下图所示&#xff1a; 通常会自动滚动&#xff0c;也可以根据手势滑动。我没有研究过人家的APP是通过什么实现的&#xff0c;可能有第三方已经封装好的控件可以…

react(85)--error:Error creating bean with name ‘onlineStudyController‘:

Error creating bean with name onlineStudyController: Singleton bean creation not allowed while singletons of this factory are in destruction (Do not request a bean from a BeanFactory in a destroy method implementation!)" 接口定义了同样的值

c#获取当前应用程序所在路径

一、获取当前文件的路径1. System.Diagnostics.Process.GetCurrentProcess().MainModule.FileName 获取模块的完整路径&#xff0c;包括文件名。2. System.Environment.CurrentDirectory 获取和设置当前目录(该进程从中启动的目录)的完全限定目录。3. System.IO.…

requires表达式 ---C++ 20 模板

requires表达式 —C 20 模板 requires还可以接一个表达式,该表达式也是一个纯右值表达式,表达式为true时满足约束条件,false则不满足约束条件 requires表达式的判定标准:对requires表达式进行模板实参的替换,如果替换之后出现无效类型,或者违反约束条件,则值为false,反之为tr…

读古诗系列--(两首)题都城南庄/江楼感旧

题都城南庄 唐 崔护去年今日此门中&#xff0c; 人面桃花相映红。 人面不知何处去&#xff0c; 桃花依旧笑春风。 江楼感旧 唐 赵嘏 独上江楼思渺然&#xff0c;月光如水水如天。 同来望月人何在&#xff1f;风景依稀似去年。前为课本所学&#xff0c;皆知&#xff…

react(86)--列表项控制选中

if (newarr.length 0) {message.error(请选中列表内容);return false;}

CheckBoxList 全选(jquery版本)

function selectedAll(allselect, obj) {$("#"obj.id" input:checkbox").each(function () {if (allselect.checked)$(this).attr("checked", true);else {$(this).attr("checked", false);}});} 调用 <input id"allCheck&quo…

如何输出源文件的标题和目前执行行的行数

环境&#xff1a;VC6.0 C版本&#xff1a; #include<iostream>using namespace std; void main(){ int line __LINE__; //注意&#xff1a;LINE前后分别是两个下划线“-”(半角状态下) char * file __FILE__; cout<<line<<endl; cout<<file<&…

类型萃取类型比较 Type-Traits Librarytype comparisons --- C++20

类型萃取:类型比较 Type-Traits Library:type comparisons — C20 不涉及runtime只在编译期 Comparing types 类型比较 C11 支持三种类型: is_base_of<Base, Derived>is_convertible<From, To>is_same<T, U> C20新加了几种: is_pointer_interconvertibl…

SBO部分SQL查询奉献

产品生产主计划SELECT T0.MsnCode AS 计划单号, T1.ItemCode, T2.itemname AS 产品名称,T1.Quantity as 生产数量, T2.onhand,T2.onorder as 已下单,T1.StartDate, T1.EndDate, T1.BaseDocNum as 订单号,T1.BaseDue as 完工日期,T1.ParentCode as 产品名 FROM OMSN T0 INNER JO…

react(87)--控制禁用disabled

<Form.Item label"活动详情" required validateStatus{textErr} help{textMsg}><BaseRichTextdisabledheight{360}editorState{introeditorState}handleEditorChange{this.handleEditorChange}/></Form.Item>

奇葩面试经历一

大清早坐车到**公司坐等面试&#xff0c;前台MM热情招待把哥们安置到一个小会议室&#xff0c;顺便给了一张资料填写单。 急吼吼的把资料填写完啦后&#xff0c;MM说让俺们在会议室稍等一下。不久&#xff0c;带哥来到一办公司门口&#xff0c;打眼一瞧&#xff0c;回到&#x…

判断一个无符号整数是不是2的幂

C版本&#xff1a; #include<stdio.h> //原理&#xff1a;2的幂的二进制位中有且只有一位是1int Is2Power(unsigned int d){ int i sizeof(d) << 3; //这里i得到d所占的位数(bits)&#xff0c;因为要对d的每一位作判断 unsigned int v; while(i > 0) { v 1…

童趣

1.豆豆的外婆买了一只母鸡&#xff0c;打算杀了吃。豆豆不允许杀它&#xff0c;外婆就把鸡养在院子里。每天早上&#xff0c;外婆在院子里干家务&#xff0c;豆豆就坐在小板凳上&#xff0c;手里拿了本小画书&#xff0c;绘声绘色地给母鸡讲故事。豆豆给母鸡起的小名是“小鸭”…

PROJECT #1 - BUFFER POOL [CMU 15-445645]笔记

PROJECT #1 - BUFFER POOL 15-445/645笔记 因为在主存中储存所有块是不可能的&#xff0c;我们需要管理主存中用于存储块的可用空间的分配 。缓冲区是主存中用于存储磁盘数据块拷贝的那部分。 缓冲区管理器 ​ 当数据库系统中的程序需要磁盘上的块时&#xff0c;它向缓冲区管…