簡素化テンプレートパラメータ

Question

は次のstructください

A<12> a; //A<12> should become A<int,12> 

をしかし、これは許可されていません。なぜ許可されないのですか？ （そして回避策はありますか？）

Answer 1

あなたは何を望みますか？

#include <iostream> 

template <typename T, T value> 
struct A { 
    void foo() const { std::cout << "A<int, " << value << ">::foo called\n"; } 
}; 

// Sample partial specialization that you might want. 
template <std::size_t value> 
struct A<std::size_t, value> { 
    void foo() const { std::cout << "A<std::size_t, " << value << ">::foo called\n"; } 
}; 

template <int N> 
using B = A<int, N>; 

template <int N, typename T = int> 
using C = A<T, static_cast<T>(N)>; 

int main() { 
    B<12> a; 
    a.foo(); // A<int, 12>::foo called 
    C<12> c; 
    c.foo(); // A<int, 12>::foo called 
    C<12, std::size_t> d; 
    d.foo(); // A<std::size_t, 12>::foo called 
} 

Answer 2

たぶん、あなたが取得するつもりだ最も近いがメタ工場を使用することです：http://stackoverflow.com/questions/：

template<class T, T value> 
struct A 
{}; 


template<class T = int> 
struct factory 
{ 
    template<T V> using A = ::A<T, V>; 
}; 

int main() 
{ 
    auto x = factory<>::A<12> {}; 
    auto y = factory<short>::A<45> {}; 
}