我怎么能部分地专注我的类模板int_ <...>，long_ <...>

Question

可能类似于

template <class C> 
struct apply<template<> struct T<C N>> 
{ 
    typedef typename T<N + 1>::type type; 
}; 

只是举例，它返回下一个整型常量类型。

Answer 1

对于任何固定的类型，你可以直接擅长：

template <typename> struct apply; // primary template 

template <unsigned int N> 
struct apply<int_<N>> 
{ 
    typedef int_<N + 1> type; 
}; 

你也可以专上取一个整数参数模板：

template <template <unsigned int> class TInt, unsigned int N> 
struct apply<TInt<N>> 
{ 
    typedef TInt<N + 1> type; 
}; 

后者将匹配任何template <unsigned int> class，不过，所以要小心。