Форум программистов, компьютерный форум CyberForum.ru

Что означает using typename в шаблоне? - C++

Восстановить пароль Регистрация
 
 
_Valera_
 Аватар для _Valera_
486 / 368 / 94
Регистрация: 27.01.2015
Сообщений: 1,588
01.12.2015, 10:59     Что означает using typename в шаблоне? #1
C++
1
2
3
4
5
6
template < typename T >
class Class_name
{
    public:
        using value_type = T;
...
что произошло в этом месте? Зачем?
C++
1
using value_type = T;
Лучшие ответы (1)
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
01.12.2015, 10:59     Что означает using typename в шаблоне?
Посмотрите здесь:

C++ что означает
C++ Что-то в шаблоне не так
C++ Что означает if(!p) ?
C++ Шаблоны. Что лучше <class T> или <typename T>?
C++ Что означает while (1) {. . . }
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
daslex
1084 / 494 / 101
Регистрация: 02.08.2011
Сообщений: 2,408
01.12.2015, 11:07     Что означает using typename в шаблоне? #2
Сообщение было отмечено автором темы, экспертом или модератором как ответ
C++ 11/ Замена typedef ==> сделали синоним типа T, обозвав его value_type
_Valera_
 Аватар для _Valera_
486 / 368 / 94
Регистрация: 27.01.2015
Сообщений: 1,588
01.12.2015, 11:09  [ТС]     Что означает using typename в шаблоне? #3
daslex, а в чем смысл?
daslex
1084 / 494 / 101
Регистрация: 02.08.2011
Сообщений: 2,408
01.12.2015, 11:19     Что означает using typename в шаблоне? #4
Автор кода решил, что ему value_type понятнее чем T,
смысл абсолютно тот же, что у typedef, только синтаксис немного удобнее.

можно было сразу написать
C++
1
template < typename value_type >
и было бы короче.

Добавлено через 1 минуту
Конкретно в этом случае весь смысл - выпендреж.

Не по теме:

"Я умею юзать С++11, глядите, ущербные."

Kerry_Jr
Модератор
 Аватар для Kerry_Jr
1857 / 1653 / 577
Регистрация: 14.05.2014
Сообщений: 4,745
Записей в блоге: 1
Завершенные тесты: 5
01.12.2015, 11:23     Что означает using typename в шаблоне? #5
Цитата Сообщение от daslex Посмотреть сообщение
Конкретно в этом случае весь смысл - выпендреж.
А может человек не знает, что вместо Т можно использовать любое валидное имя. Ведь typename T или class T - это самые популярные имена для шаблонов
daslex
01.12.2015, 11:35
  #6

Не по теме:

я тоже об этом думал, но демонстрация знаний С++11 как-то солиднее. Может вообще из видеоуроков ютуба зацепилось и тащится.

ForEveR
Модератор
Эксперт C++
 Аватар для ForEveR
7927 / 4709 / 318
Регистрация: 24.06.2010
Сообщений: 10,524
Завершенные тесты: 3
01.12.2015, 11:37     Что означает using typename в шаблоне? #7
daslex,
Цитата Сообщение от daslex Посмотреть сообщение
можно было сразу написать
C++
1
template < typename value_type >
и было бы короче.
Добавлено через 1 минуту
Конкретно в этом случае весь смысл - выпендреж.
Ага, конечно же, а потом попробуйте к этому value_type достучаться извне, в коде который представлен это возможно.
daslex
1084 / 494 / 101
Регистрация: 02.08.2011
Сообщений: 2,408
01.12.2015, 11:47     Что означает using typename в шаблоне? #8
Вообще не понял.
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
template < typename value_type >
class Class_name
{
public:
    
    value_type x;
};
 
int main() {
    Class_name<int> Obj;
 
    Obj.x = 90; //Тук-тук
 
}
Croessmah
Модератор
Эксперт С++
 Аватар для Croessmah
11822 / 6801 / 769
Регистрация: 27.09.2012
Сообщений: 16,869
Записей в блоге: 2
Завершенные тесты: 1
01.12.2015, 12:05     Что означает using typename в шаблоне? #9
daslex, value_type становится виден извне:
C++
1
2
3
4
5
6
7
8
9
10
11
12
template < typename value_type >
class Class_name
{
public:
    value_type x;
};
 
int main() {
    Class_name<int> Obj;
 
    Class_name<int>::value_type x = Obj.x ; //Тут-тук, а не открывают
 }
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
template < typename T >
class Class_name
{
public:
    using value_type = T ;
    value_type x;
};
 
int main() {
    Class_name<int> Obj;
 
    Class_name<int>::value_type x = Obj.x ; //Тут-тук, а так уже открыли.
 }
Так смысл понятен?
daslex
1084 / 494 / 101
Регистрация: 02.08.2011
Сообщений: 2,408
01.12.2015, 12:15     Что означает using typename в шаблоне? #10
нет. не понятен. Понятно стало, что именно нельзя, но совсем непонятно когда оно надо.
Croessmah
Модератор
Эксперт С++
 Аватар для Croessmah
11822 / 6801 / 769
Регистрация: 27.09.2012
Сообщений: 16,869
Записей в блоге: 2
Завершенные тесты: 1
01.12.2015, 12:17     Что означает using typename в шаблоне? #11
Цитата Сообщение от daslex Посмотреть сообщение
Понятно стало, что именно нельзя, но совсем непонятно когда оно надо.
Когда нужно
Цитата Сообщение от ForEveR Посмотреть сообщение
к этому value_type достучаться извне
Например,
std::string::size_type
std::map::value_type
и т.д.
rikimaru2013
C++ Game Dev
 Аватар для rikimaru2013
2133 / 966 / 222
Регистрация: 30.11.2013
Сообщений: 3,231
01.12.2015, 12:28     Что означает using typename в шаблоне? #12
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
#include <functional>
using namespace std;
class Foo
{
public:
    int f1(char, double);
};
 
 
template<class T> struct help;                          // default
template<class ClassType, class ReturnType, class... Args>
struct help<ReturnType(ClassType::*)(Args...)>
{
    typedef std::function<ReturnType(Args...)>          // "Я умею юзать С++11, глядите, ущербные."
        deductionType;
};
 
 
int main()
{
    typedef help< decltype(&Foo::f1) >::deductionType
        MyCallbackType;
 
    MyCallbackType m_call;                              //  typedef std::function<int(char, double)> MyCallbackType;
}
daslex
1084 / 494 / 101
Регистрация: 02.08.2011
Сообщений: 2,408
01.12.2015, 12:35     Что означает using typename в шаблоне? #13
Croessmah, Это плохой пример на вопрос "Зачем"? Потому что намного проще создать переменную unsigned int или size_t.
DrOffset
6425 / 3799 / 880
Регистрация: 30.01.2014
Сообщений: 6,592
01.12.2015, 12:41     Что означает using typename в шаблоне? #14
Цитата Сообщение от daslex Посмотреть сообщение
совсем непонятно когда оно надо.
C++
1
2
3
4
5
template <typename Cont>
void front_insert(Cont & cont, size_t n, typename Cont::value_type const & x)
{
    cont.insert(cont.begin(), n, x);
}
Croessmah
Модератор
Эксперт С++
 Аватар для Croessmah
11822 / 6801 / 769
Регистрация: 27.09.2012
Сообщений: 16,869
Записей в блоге: 2
Завершенные тесты: 1
01.12.2015, 12:46     Что означает using typename в шаблоне? #15
Цитата Сообщение от daslex Посмотреть сообщение
Потому что намного проще создать переменную unsigned int или size_t.
Если тип известен.
Цитата Сообщение от daslex Посмотреть сообщение
Это плохой пример на вопрос "Зачем"?
Да там и нет примера. Ну вот hello world пример.
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
#include <iostream>
#include <vector>
#include <list>
#include <string>
 
 
template <typename Cont>
typename Cont::value_type foo ( const Cont & cont )
{
    typename Cont::value_type s{} ;
    for ( auto & e : cont )
        s += e ;
    return s ;
}
 
 
int main()
{
    std::vector < int > v_int{1,2,3} ;
    std::list < double > l_dbl{6,4,3} ;
    std::vector < std::string > v_str{"hello", ", ", "world", "!"} ;
    std::cout << foo(v_int) << std::endl ;
    std::cout << foo(l_dbl) << std::endl ;
    std::cout << foo(v_str) << std::endl ;
}
что-то сложнее писать лень, честно
daslex
1084 / 494 / 101
Регистрация: 02.08.2011
Сообщений: 2,408
01.12.2015, 12:47     Что означает using typename в шаблоне? #16
DrOffset, я о доступе извне. Вообще понял, просто тот первый "пример-не пример" от Croessmah, немного это скрывает из-за слишком сильной упрощенности (оно не очевидно становится).

А Ваш пример к чему, не понял.
DrOffset
6425 / 3799 / 880
Регистрация: 30.01.2014
Сообщений: 6,592
01.12.2015, 12:50     Что означает using typename в шаблоне? #17
Цитата Сообщение от daslex Посмотреть сообщение
А Ваш пример к чему, не понял.
К тому, зачем нужен value_type.
Цитата Сообщение от daslex Посмотреть сообщение
я о доступе извне.
О каком доступе извне ты говоришь?
Мой пример иллюстрирует именно то, о чем говорил ForEveR: у нас есть шаблонный класс, например вектор, тип элемента был передан ему в параметре шаблона. Теперь нам надо узнать, какой тип элемента у типа вектора, чтобы использовать его, например, в другой функции. Для этого и нужен value_type, который нам подскажет "извне" вектора какой у него тип элемента.
Мой пример это демонстрирует.
Croessmah
Модератор
Эксперт С++
 Аватар для Croessmah
11822 / 6801 / 769
Регистрация: 27.09.2012
Сообщений: 16,869
Записей в блоге: 2
Завершенные тесты: 1
01.12.2015, 12:53     Что означает using typename в шаблоне? #18
Цитата Сообщение от DrOffset Посмотреть сообщение
О каком доступе извне ты говоришь?
Доступ извне к некоторому типу, а daslex, видимо, принял за доступ к члену-класса.
daslex
1084 / 494 / 101
Регистрация: 02.08.2011
Сообщений: 2,408
01.12.2015, 13:01     Что означает using typename в шаблоне? #19

Не по теме:

Цитата Сообщение от ForEveR Посмотреть сообщение
Ага, конечно же, а потом попробуйте к этому value_type достучаться извне
как написано было, так и спрашиваю. Об этом же дальше мне отвечают, судя по моему вопросу. Или кашеварим?



Добавлено через 59 секунд
Цитата Сообщение от DrOffset Посмотреть сообщение
Мой пример это демонстрирует.
ясно.
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
01.12.2015, 13:08     Что означает using typename в шаблоне?
Еще ссылки по теме:

C++ Что означает '\0'
C++ Что означает (//) и (#)?
C++ Что означает for(;;)

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
DrOffset
6425 / 3799 / 880
Регистрация: 30.01.2014
Сообщений: 6,592
01.12.2015, 13:08     Что означает using typename в шаблоне? #20
daslex, наши с Croessmah примеры иллюстрируют абсолютно одинаковое.
value_type - это тип, это не переменная.
C++
1
2
3
4
5
6
7
8
9
10
11
12
template <typename T>
class Vector 
{
    // интерфейс
};
 
template <typename V>
void foo(V & cont)
{
  //если V - это Vector<???>, то как тут узнать "???" ?
  ??? f_elem = cont.front();
}
теперь смотрим обновленным взглядом на фразу:
Цитата Сообщение от ForEveR Посмотреть сообщение
а потом попробуйте к этому value_type достучаться извне
value_type == T
А теперь попробуйте к этому value_type (T, типу который был передан в шаблон Vector) достучаться извне.
Так понятно ?
Yandex
Объявления
01.12.2015, 13:08     Что означает using typename в шаблоне?
Ответ Создать тему
Опции темы

Текущее время: 20:47. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2016, vBulletin Solutions, Inc.
Рейтинг@Mail.ru