[cpp]: template的基本元素：概念和要求

[cpp]:  template的基本元素：概念和要求

 

 

 

 

一、template 基本概念

 

　　1.、概念(concept)：　　概念的功能，对template中的参数（T/E）进行约束/限制。‘概念（concept）’，是一组‘要求（requirements）’的集合。

 

　　2、要求（requirements）：　　对template中的参数（T/E），进行约束/限制。

 

 

 

二、template 实例

 

　　1、　　程序代码

#include <iostream>


using namespace std;


// rename a type
using integer = int;
using i32 = int;


//  define conception C1 for constraint T;
//  constraint:  sizeof(T) == sizeof(int); 
//      memory size of type T is equal to memory size of type int.
template <class T>
concept C1 = sizeof(T) == sizeof(int);


// using 'C1' to constraint type 'E',
//  sizeof(E) == sizeof(int)
template<C1 E>
void msg()
{
    cout << "[prompt]#\t msg()..." << endl;    
}


int main(int argc, char* argv[], char* envp[])
{
    
    msg<integer>();
    msg<i32>();
    
    return 0;
}

 

 

　　2、　　运行结果

[prompt]#     msg()...
[prompt]#     msg()...

 

 

 

 

三、参考资料

 

　　1.　　templates 　　-　　https://en.cppreference.com/w/cpp/language/templates

 

　　2.　　c++ 在线编译工具　　-　　https://coliru.stacked-crooked.com/