Следующий пример кода иллюстрирует мою проблему:Как специализироваться с шаблоном VARIADIC класса
#include <array>
#include <vector>
#include <iostream>
#include <type_traits>
namespace Vector
{
namespace Intern
{
template <typename T1, typename ...T2>
struct Traits;
// How can I specialize here so that Memory is being assigned properly??
template <typename T1, int N>
struct Traits<T1, int> {
static constexpr bool Static = 1;
using Memory = std::array<T1, N>;
};
template <typename T1>
struct Traits<T1> {
static constexpr bool Static = 0;
using Memory = std::vector<T1>;
};
}
template <typename T1, typename ...T2>
class Object
{
public :
void printd()
{
std::cout << "Is Static: " << Traits::Static << std::endl;
}
private:
using Traits = Intern::Traits<T1, T2...>;
using Memory = typename Traits::Memory;
Memory m_memory;
};
template <typename T1, typename ...T2>
static auto Create(T2&& ...ln) -> decltype(auto)
{
return new Object<T1, T2...>();
}
}
int main()
{
auto static_vector = Vector::Create<int>(10);
static_vector->printd();
auto active_vector = Vector::Create<int>();
active_vector->printd();
}
Я хотел бы знать, как я могу специализироваться черты структуры так, что тип памяти правильно назначен станд :: массив с N, установленным в 10 в приведенном выше примере.
что вы хотите тип static_vector быть? –
Как вы хотите вывести 'N' здесь? Зачем вам нужен вариационный шаблон, а не просто два параметра? – Holt