2

Есть такой код:

template<typename Container>
void foo(Container&& c) {
    
    std::cout << typeid(Container::value_type).name() << "\n";

}

Компилятор выдает ошибку, что Container - это не класс. Сделал так:

std::cout << typeid(Container).name() << "\n";

В консоль вывелось class std::vector<int,class std::allocator>, разве это не значит, что Container - это все таки класс вектора? Почему тогда я не могу получить доступ к value_type?

11
  • 1
    В таких случаях следует использовать ::std::remove_reference, а для проверки типа - ::std::is_same 21 июл 2021 в 14:01
  • 3
    достаточно вот так написать std::cout << typeid(typename Container::value_type).name() << "\n"; и gcc/clang уже могут.
    – KoVadim
    21 июл 2021 в 14:03
  • @KoVadim ну VS не проглатывает)
    – ComeInRage
    21 июл 2021 в 15:30
  • 1
    попробовал в 2017 студии - сразу смогло. в 2019 ругалось на шаблон, но добавка /EHcs сразу сняла все вопросы. И выводит int
    – KoVadim
    21 июл 2021 в 19:54
  • 2
    @KoVadim Вот что бывает, когда люди игнорируют необходимость приводить минимальный воспроизводимый пример. 21 июл 2021 в 20:15

1 ответ 1

2

У Вас Container это не просто тип, а std::vector<int>& (или другие подобные). Поэтому, удалим ссылочность. Это можно сделать двумя способами

std::cout << typeid(typename std::decay<Container>::type::value_type).name() << "\n";

или

std::cout << typeid(typename std::remove_reference<Container>::type::value_type).name() << "\n";

то есть, удаляем тип не у Container::value_type, а вначале снимаем ссылку с Container, а потом у него уже берем вложенный тип.

Ваш ответ

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

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