Форум программистов, компьютерный форум, киберфорум
С++ для начинающих
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.50/6: Рейтинг темы: голосов - 6, средняя оценка - 4.50
2549 / 1208 / 358
Регистрация: 30.11.2013
Сообщений: 3,826

Получение типа на основе строкового литерала

01.05.2017, 22:01. Показов 1336. Ответов 11
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Добрый вечер,

как можно красиво получить тип на основе строкового литерала?

C++
1
Foo< GetType("A") >::hello( 1, 2);
0
cpp_developer
Эксперт
20123 / 5690 / 1417
Регистрация: 09.04.2010
Сообщений: 22,546
Блог
01.05.2017, 22:01
Ответы с готовыми решениями:

Заключение в кавычки строкового литерала в индексах ассоциативного массива
Всем привет. Перенес сайт на другой сервер, был Апач и не новый (не помню какой) php, стал Nginx+php-fpm, php новый. Из мануала...

Преобразование строкового типа в переменную типа float
Как в программе С++ Builder6 преобразовать строковый тип числа взятого из компонента StringGrid1-&gt;Cells в переменную типа float, чтобы...

Создать дерево на основе строкового массива
Здравствуйте, я пытаюсь создать дерево на основе строкового массива, однако перерыв все возможные сайты и тщетно перечитывая документацию...

11
1394 / 1023 / 325
Регистрация: 28.07.2012
Сообщений: 2,813
01.05.2017, 22:27
rikimaru2013, decltype("A")?
0
Эксперт С++
 Аватар для hoggy
8973 / 4319 / 960
Регистрация: 15.11.2014
Сообщений: 9,760
01.05.2017, 22:30
Цитата Сообщение от rikimaru2013 Посмотреть сообщение
Foo< GetType("A") >::hello( 1, 2);
см паттерн "фабрика"

http://rextester.com/JGS6744

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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
#include<map>
#include<string>
#include<iostream>
using namespace std;
 
 
// --- интерфейс объектов
struct IFoo
{
    virtual ~IFoo(){}
    virtual void work()const =0;
};
 
 
// --- фабрика умеет биндить символьные имена типов на нативные
struct Factory
{
  struct Base{ virtual IFoo * build()const=0;  };
  
  typedef std::string Str;
  typedef std::map<const Str, Base*> Map;
  typedef Map::const_iterator It;
  typedef Map::value_type ValType;
 
  template<class T> struct Builder : Base
  { 
    IFoo* build()const { return new T; };  
  };
 
    
  // --- данная функция регистрирует в фабрике нативный прототип
  // --- и сопоставляем ему символьное имя
  template<class T> static void reg_class(const Str& key)
  {
      reg().insert( ValType(key, new Builder<T>())  );  
  }
 
  // --- конструирует наследника по его символьному имени
  static IFoo* build(const Str& key) 
  {
      It it = reg().find(key);
      return (it==reg().end())? 0l : it->second->build() ;
  }
private:
  static std::map<const Str, Base*>& reg(){ static Map data; return data; }
 
};
 
 
// --- допустим, это наши возможные наследники
struct Bar0 : IFoo
{
    Bar0(){ cout<<"i am Bar0\n"; }
    virtual void work()const { cout<<"Bar0::work\n"; }
};
struct Bar1 : IFoo
{
    Bar1(){ cout<<"i am Bar1\n"; }
    virtual void work()const { cout<<"Bar1::work\n"; }
};
 
int main()
{
    // --- регистрируем наследников в фабрике
    Factory::reg_class<Bar0>("Bar0");
    Factory::reg_class<Bar1>("Bar1");
    
 
    // --- теперь можно конструировать объекты по их символьному имени
    IFoo* ptr = Factory::build("Bar0");
    ptr->work();
}
1
2549 / 1208 / 358
Регистрация: 30.11.2013
Сообщений: 3,826
01.05.2017, 22:56  [ТС]
Всё круто - но вопрос то другой Я ждал. что статичность функции GetType("A") не позволяет в зависимости от значения строкового литерала менять возвращаемый тип известный на этапе компиляции. Или крутой пример в стиле "С++ может всё". Но за пример фабрики спасибо, хоть она ближе как ответ "вы сами не знаете, что вам надо " - или как говорил великий hoggy, (а я запомнил ) - у меня проблема молотка

Добавлено через 5 минут
Цитата Сообщение от nonedark2008 Посмотреть сообщение
decltype("A")?
думаю оно не к чему не приведёт, ведь во всех случаях "A", "B" тип будет один.
0
1394 / 1023 / 325
Регистрация: 28.07.2012
Сообщений: 2,813
01.05.2017, 22:59
rikimaru2013, о, теперь мне стал понятен смысл вопроса. Это точно нельзя сделать стандартными средствами языка, и макросы тут не помогут. Остается только создать свой предкомпилятор, как MOC в Qt.
0
2549 / 1208 / 358
Регистрация: 30.11.2013
Сообщений: 3,826
01.05.2017, 23:04  [ТС]
nonedark2008, моих знаний не хватает самому ответить на этот вопрос - но кажись способы есть:
1) строковый литерал кажись может выступать параметром шаблона и парсить static const char* const на содержимое в шаблоне тоже вроде бы можно
2) где-то видел такого зверя как std::type_id который так же возможно может помочь.

P.S.hoggy, подскажите зачем вы применили такой способ
C++
1
static std::map<const Str, Base*>& reg(){ static Map data; return data; }
для обычной сущности - поле класса. Зачем эти танцы с бубном?
0
Ушел с форума
Эксперт С++
 Аватар для Убежденный
16481 / 7444 / 1187
Регистрация: 02.05.2013
Сообщений: 11,616
Записей в блоге: 1
01.05.2017, 23:10
Если я правильно понял вопрос, можно сделать как-то так:
C++
1
2
3
4
5
6
7
8
9
bool detect(char const *)
{
    return true;
}
 
int detect(wchar_t const *)
{
    return 1;
}
sizeof (detect("aaa")) будет равен sizeof (bool), а
sizeof (detect(L"aaa")) будет равен sizeof (int).

Этими значениями можно параметризировать специализацию шаблона и
в нем вывести нужные типы.
0
1394 / 1023 / 325
Регистрация: 28.07.2012
Сообщений: 2,813
01.05.2017, 23:31
Лучший ответ Сообщение было отмечено rikimaru2013 как решение

Решение

Хотя, какое-то такое Г работает:
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
26
27
#include <iostream>
 
#define GET_SEQ(str) str[0], str[1]
 
using namespace  std;
 
template<char... args>
struct A {
    using T = int;
};
 
 
template<>
struct A<GET_SEQ("AB")> {
    using T = double;
};
 
template<>
struct A<GET_SEQ("AA")> {
    using T = float;
};
 
int main() {
    cout << typeid(typename A<GET_SEQ("AB")>::T).name() << endl;
    cout << typeid(typename A<GET_SEQ("AA")>::T).name() << endl;
    return 0;
}
Можно составить макрос, который будет работать со строками почти произвольной длины.

Добавлено через 12 минут
rikimaru2013, О! Кажись нагуглилось именно то самое Г, которое тебе и нужно =)
1
19500 / 10105 / 2461
Регистрация: 30.01.2014
Сообщений: 17,818
01.05.2017, 23:48
Лучший ответ Сообщение было отмечено rikimaru2013 как решение

Решение

rikimaru2013,
Если взять функцию ct_hash отсюда, то можно сделать так:
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
26
27
28
29
30
31
32
33
constexpr uint32_t ct_hash_suffix(unsigned char c, uint32_t seed)
{
    return static_cast<uint32_t>(c) + 0x9e3779b9u + (seed << 6) + (seed >> 2);
}
 
uint32_t hash_value(std::string const & str)
{
    uint32_t seed = 0;
    for(char c : str)
    {
        seed ^= ct_hash_suffix(c, seed);
    }
    return seed;
}
 
constexpr uint32_t ct_hash(char const * str, uint32_t seed = 0)
{
    return *str ? ct_hash(str + 1, seed ^ ct_hash_suffix(*str, seed)) : seed;
}
 
template <uint32_t id>
struct integer_id {};
 
#define GetType(Str) integer_id<ct_hash(Str)>
 
template <typename T>
void foo()
{}
 
int main() 
{
    foo<GetType("string")>();
}
http://rextester.com/XSAH31769

Если этого недостаточно (ну там о коллизиях переживания какие), то в С++14 был пропозал: Literal operator templates for strings, но в редакцию С++14 он не попал. Сейчас существуют реализации в качестве расширения в clang и gcc. Благодаря ему можно сделать так:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
template<typename C, C ...Chars>
struct ct_string
{ };
 
template <typename CharT, CharT ...Chars>
constexpr auto operator"" _S() 
{
    return ct_string<CharT, Chars...>();
}
 
#define GetType(Str) decltype( Str##_S )
 
template <typename T>
void foo()
{ }
 
int main() 
{
    foo<GetType("string")>();
}
http://rextester.com/AMSI31034

Всякое интересное на эту тему можно посмотреть здесь: https://github.com/duckie/named_types

Добавлено через 2 минуты
Цитата Сообщение от nonedark2008 Посмотреть сообщение
Можно составить макрос, который будет работать со строками почти произвольной длины.
Ага, такое тоже тут было: Строка как аргумент шаблона

Не по теме:

Добавлено через 1 минуту
Кстати автор этой темы, в той, от 2015 года, советовал

Цитата Сообщение от rikimaru2013 Посмотреть сообщение
не заниматься фигней?!
, а теперь самому подобное понадобилось :) Вот ведь дела, да.

5
2549 / 1208 / 358
Регистрация: 30.11.2013
Сообщений: 3,826
01.05.2017, 23:51  [ТС]
DrOffset, по молодости, по глупости
0
Эксперт С++
 Аватар для hoggy
8973 / 4319 / 960
Регистрация: 15.11.2014
Сообщений: 9,760
02.05.2017, 00:09
Цитата Сообщение от DrOffset Посмотреть сообщение
а теперь самому подобное понадобилось
хотелось бы глянуть на вариант с constexpr функциями
0
02.05.2017, 19:03

Не по теме:

Цитата Сообщение от hoggy Посмотреть сообщение
хотелось бы глянуть на вариант с constexpr функциями
Его нет, к сожалению :)

0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
raxper
Эксперт
30234 / 6612 / 1498
Регистрация: 28.12.2010
Сообщений: 21,154
Блог
02.05.2017, 19:03
Помогаю со студенческими работами здесь

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

Получение картинки из строкового значения
Здравствуйте! В web-программировании я не очень силён, так-что простите. В Базе данных у меня есть такая таблица: ...

Получение строкового значения текущей ячейки
Возможно, проблема пустяковая и многим знакома, но я столкнулся с ней впервые и не знаю как решить. Есть процедура, обрабатывает событие...

Данные строкового типа
Что-то вообще никак не получается((( 1. Для любого введенного предложения заменить слоги &quot;ма&quot; на слоги &quot;ле&quot;. ...

Переменная строкового типа
Помогите решить проблему. В заданном предложении (переменная строкового типа) указать слово , в котором доля гласных ‘a’, ‘е’, ‘и’...


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

Или воспользуйтесь поиском по форуму:
12
Ответ Создать тему
Новые блоги и статьи
Идея фильтра интернета (сервер = слой+фильтр).
Hrethgir 31.03.2026
Суть идеи заключается в том, чтобы запустить свой сервер, о чём я если честно мечтал давно и давно приобрёл книгу как это сделать. Но не было причин его запускать. Очумелые учёные напечатали на. . .
Модель здравосоХранения 6. ESG-повестка и устойчивое развитие; углублённый анализ кадрового бренда
anaschu 31.03.2026
В прикрепленном документе раздумья о том, как можно поменять модель в будущем
10 пpимет, которые всегда сбываются
Maks 31.03.2026
1. Чтобы, наконец, пришла маршрутка, надо закурить. Если сигарета последняя, маршрутка придет еще до второй затяжки даже вопреки расписанию. 2. Нaдоели зима и снег? Не надо переезжать. Достаточно. . .
Перемещение выделенных строк ТЧ из одного документа в другой
Maks 31.03.2026
Реализация из решения ниже выполнена на примере нетипового документа "ВыдачаОборудованияНаСпецтехнику" с единственной табличной частью "ОборудованиеИКомплектующие" разработанного в конфигурации КА2. . . .
Functional First Web Framework Suave
DevAlt 30.03.2026
Sauve. IO Апнулись до NET10. Из зависимостей один пакет, работает одинаково хорошо как в режиме проекта так и в интерактивном режиме. из сложностей - чисто функциональный подход. Решил. . .
Автоматическое создание документа при проведении другого документа
Maks 29.03.2026
Реализация из решения ниже выполнена на нетиповых документах, разработанных в конфигурации КА2. Есть нетиповой документ "ЗаявкаНаРемонтСпецтехники" и нетиповой документ "ПланированиеСпецтехники". В. . .
Настройка движения справочника по регистру сведений
Maks 29.03.2026
Решение ниже реализовано на примере нетипового справочника "ТарифыМобильнойСвязи" разработанного в конфигурации КА2, с целью учета корпоративной мобильной связи в коммерческом предприятии. . . .
Автозаполнение реквизита при выборе элемента справочника
Maks 27.03.2026
Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. При выборе "Спецтехники" (Тип Справочник. Спецтехника), заполняется. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru