c++模板专题 - Deduced Context

Deduced Context

  • 复杂的类型声明的匹配过程从最顶层构造开始,然后不断递归子构造,即各种组成元素,这些构造被称为 deduced context,non-deduced context 不会参与推断,而是使用其他处推断的结果,受限类型名称如 A<T>::type 不能用来推断 T,非类型表达式如 A<N + 1> 不能用来推断 N
namespace jc {
   
    
    

template <int N>
struct A {
   
    
    
  using T = int;

  void f

猜你喜欢

转载自blog.csdn.net/liferecords/article/details/128536153