0

Имеется любой класс с пакетом параметров. Внутри часто нужно создать переменную и/или вектор с таким же типом. Как узнать тип Ty_node?

template<class... Ty_node>
const bool sum(Ty_node&&... Nodes) {
    _STD vector<Ty_node> V_nodes;          // ошибка. Не могу создать вектор
    (V_nodes.emplace_back(Nodes), ...);
    // ...
}

main(){
//...
    int a, b, c;
    char d, e;

    sum(a, b, c);
    sum(d, e);
//...
}
10
  • Это же много разных типов, какой вам нужен? И снова — не используйте зарезервированные идентификаторы
    – dIm0n
    26 авг 2020 в 7:43
  • Мне нужен тип, который у _Nodes. Или, если можно создать вектор как-то сразу, как во втором векторе я сделал, то как это сделать? 26 авг 2020 в 7:45
  • "И снова — не используйте зарезервированные идентификаторы" - какие? 26 авг 2020 в 7:45
  • у _Nodes много типов, какой вам нужен?
    – timur
    26 авг 2020 в 7:46
  • Вектор может содержать только элементы 1 типа, а у пачки, внезапно, не один тип, а пачка. Такие идентификаторы
    – dIm0n
    26 авг 2020 в 7:48

2 ответа 2

2

Различные варианты создания таких векторов:

#include <concepts>
#include <type_traits>
#include <vector>
#include <iostream>

template<typename T, typename... Ts>
requires (... && std::is_same_v<Ts, T>)
void foo(T first, Ts... rest) {
    std::vector<T> v{first, rest...};

    for (const auto& item : v) {
        std::cout << item << '\n';
    }
}

#include <initializer_list>

template<typename T>
void bar(std::initializer_list<T> elems) {
    std::vector<T> v{std::cbegin(elems), std::cend(elems)};

    for (const auto& item : v) {
        std::cout << item << '\n';
    }
}

#include <cstddef>
#include <tuple>

template<std::size_t i, typename... Ts>
using ith_type = std::tuple_element_t<i, std::tuple<Ts...>>;

template<typename... T>
void baz(T... elems) {
    std::vector<ith_type<0, T...>> v{elems...};

    for (const auto& item : v) {
        std::cout << item << '\n';
    }
}

int main() {
    foo(1, 2, 3);
    foo('x', 'y');
//    foo(1, 'x');
//    foo();
    bar({1, 2, 3});
//    bar({1, 'x'});
//    bar({});
    baz(1, 2, 3);
    baz(1, 'x'); // 2 тип приводим к 1
//    baz();
}

Самый короткий вариант, предложенный участником @user7860670 в комментариях:

#include <vector>
#include <iostream>

template<typename... T>
void foo(T... elems) {
    std::vector v{elems...};

    for (const auto& item : v) {
        std::cout << item << '\n';
    }
}

int main() {
    foo(1, 2, 3);
    foo('x', 'y');
//    foo(1, 'x');
//    foo();
}
3
  • 2
    Тут ничего указывать не надо, у вектора есть deduction guideline по которой тип будет выведен из списка инициализации. 26 авг 2020 в 8:33
  • @user7860670 можно пример?
    – dIm0n
    26 авг 2020 в 8:37
  • godbolt.org/z/j6xYMh 26 авг 2020 в 8:40
0

Подумал, что ответ должен быть в стандартной библиотеке и не ошибся

template<class... Ty_node>
const bool sum(Ty_node&&... Nodes) {
    using value_type = std::common_type_t<std::decay_t<_Ty_node>...>;
    _STD vector<value_type > V_nodes;
    (V_nodes.emplace_back(Nodes), ...);
    // ...
}

Также ответ user7860670 оказался рабочим:

template<class... Ty_node>
const bool sum(Ty_node&&... Nodes) {
    _STD vector V_nodes = {Nodes...};
}

Мне пригодятся оба решения в разных ситуациях. Всем спасибо!

P.s. Ох уж этот c++

1
  • В первом случае могут быть разные типы, во втором тип инициализации не такой, какой предложил @user7860670. Скорее всего, вам надо использовать std::forward, раз используете forwarding ссылки
    – dIm0n
    26 авг 2020 в 9:08

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.