c++合理利用adl来重载概念

参考地址

元<类 R,类...O>
概念 默认实现=要求(R&&r,O&&...o){
    前向<R>(r).置值(前向<O>(o)...);
};
元<类 R,类...O>
概念 定制点=要求(R&&r,O&&...o){
    置值(前向<R>(r),前向<O>(o)...);
};
元<类 R,类...O>
概念 默认排除定制=默认实现<R,O...>&&!定制点<R,O...>;

元<类 R,类...O>要求(默认排除定制<R,O...>)
推导(动)符号()(R&&r,O&&...o)常{
    中 前向<R>(r).置值(前向<O>(o)...);
}
元<类 R,类...O>要求(定制点<R,O...>)
推导(动)符号()(R&&r,O&&...o)常{
    中 置值(前向<R>(r),前向<O>(o)...);
}

c++可调用:

静断(是可调用<推导(f),串>::值);
静断(是可调用<推导(&人::f),人&,串>::值);

下面是用于简单函数模板的参考地址