номер переменной аргументов для функции-члена шаблона класса

Question

Я только изучаю шаблоны и пытался написать простой шаблонный класс для векторов, таких как

template <unsigned N>
struct vec {
    std::array<float, N> m_buffer;

    float& operator[](unsigned index) { return m_buffer[index]; }

    vec(float value) {  std::fill(m_buffer.begin(), m_buffer.end(), value); }

    vec(float(&value)[N]) { std::copy(std::begin(value), std::end(value), std::begin(m_buffer)); }

    vec(float* value) {
        for (int i = 0; i < N; i++)
            m_buffer[i] = value[i];
    }

    float getmag() {
        float ret=0;
        for (int i = 0; i < N; i++)
            ret += m_buffer[N] * m_buffer[N];
        return sqrt(ret);
    }
};

int main() {    

    vec<3> a({ 1.0f, 2.0f, 3.0f });

    return 0;
}

, теперь я хочу создать конструктор, который возьмет N чисел с плавающей запятой и назначит их массиву m_buffer но способов не нашел. Это может быть сделано для определенных значений N путем специализации класса шаблона, но как это сделать для любого количества N?

Answer 1

Вы можете использовать вариационный шаблон c:

template <unsigned N>
struct vec {
    std::array<float, N> m_buffer;

    template <typename ... Ts>
    vec(Ts... args) : m_buffer{{args...}} {}

// ...
};

SFINAE может быть добавлено для проверки арности и ограничения конвертируемых параметров с плавающей запятой.

Альтернативой, которая может быть подходящей, является использование index_sequence:

template <typename T, std::size_t>
using always_t = T;

template <typename Sequence> struct vec_seq;

template <std::size_t ... Is>
struct vec_seq<std::index_sequence<Is...>>
{
    static constexpr std::size_t N = sizeof...(Is);
    std::array<float, N> m_buffer;

    vec_seq(always<float, Iss... args) : m_buffer{{args...}} {}

// ...
};

template <std::size_t N>
using vec = vec_seq<std::make_index_sequence<N>>;