如何增加模板類型的int參數？

Question

我得到了這樣的事情：

template<int i> 
struct s {}; 

，我需要這樣寫：

s<1> a = inc<s<0>>; 

我認爲這可能與做：

template<template<int I> typename S> 
using inc = S<I + 1>; 

但它不工作而gcc說模板參數是無效的。

GCC 7，-std = C++ 14

Answer 1

你方法不能工作，因爲你通過s<0>到inc這已經是s一個完整的專業化。

#include <tuple> 
#include <type_traits> 
#include <vector> 

template < int i > 
struct s { 
    constexpr static int value = i; 
}; 

template < typename S > 
struct incrementer; 

template < int i > 
struct incrementer < s<i> > 
{ 
    typedef s<i + 1> type; 
}; 

template < typename S > 
using inc = typename incrementer<S>::type;  

int main() 
{ 
    s<1> a = inc<s<0>>{}; 
} 

與來自問題語法工作（即不用初始化括號），你需要一個variable template from C++17。

#include <tuple> 
#include <vector> 

template < int i > 
struct s { 
    constexpr static int value = i; 
}; 

template < typename S > 
struct incrementer; 

template < int i > 
struct incrementer < s<i> > 
{ 
    typedef s<i + 1> type; 
}; 

template < typename S > 
typename incrementer<S>::type inc = typename incrementer<S>::type{};  

int main() 
{ 
    s<1> a = inc<s<0>>; 
}