[cpp]: concept --<template>

[cpp]:  concept --<template>

 

 

 

 

一、说明

 

　　1、concept 定义一个‘概念’并且命名为‘C’；‘C’是一组“模板参数T”的限制条件。概念‘C’的涵义：只有满足限制条件‘C’的模板参数T，源文程序才能通过编译。

 

　　2、代码示例

// 定义概念“C1”

template<class T>
concept C1 = ( sizeof(T) > 4 || sizeof(T) <= 4 );




// 应用概念“C1”： 模板函数

template<C1 U>
void
fun()
{}




案例说明：

    1、定义概念：    concept是‘关键字’，用于定义概念。
    
    2、定义概念：    “C1”是概念“名字”，C1是一组模板参数的限制条件。
    
    3、应用概念：    template<C1 U>, 只有满足条件“C1”的U，源程序才能通过编译。
    
    4、C1<U>涵义： 只有满足条件“C1”的U，源程序才能通过编译；  template<C1 U> == C1<U>    。

 

 

 

二、代码

#include <iostream>
#include <string>
#include <vector>


using namespace std;


class object{};


// concetp 'C1'('C1' constrains 'T'); 'T' is placeholder of type.  'C1<T>': 'T' is satisfied by the ruler of 'C1'
template<class T>
concept C1 = ( sizeof(T) > 4 || sizeof(T) <= 4 );


template<C1 T>
void
fun(string s)
{
    cout << "[os]: fun("<< s <<")" << endl;
}


void run()
{
    fun<int>("int");
    fun<double>("doubule");
    fun<object>("object");
  
}


int main()
{
    run();
    return 0;
}

 

 

 

三、运行结果

g++ -std=c++20 -O2 -Wall -pedantic -pthread main.cpp && ./a.out

[os]: fun(int)
[os]: fun(doubule)
[os]: fun(object)

 

 

 

四、参考文献

 

　　1、　　Template parameters　　--　　https://en.cppreference.com/w/cpp/language/template_parameters#Type_template_parameter

 

　　2、　　Constraints and concepts　　--　　https://en.cppreference.com/w/cpp/experimental/constraints

 

　　3、　　Constraints and concepts (since C++20)　　--　　https://en.cppreference.com/w/cpp/language/constraints

 

　　4、　　cpp 在线编译工具　　--　　https://coliru.stacked-crooked.com/