- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 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
- 73
- 74
- 75
- 76
- 77
- 78
- 79
- 80
Привет!
Сообщество, посмотри C++11 код, а не ошибочно ли выбраны символы для обжатия шаблонных параметров.
<сказка>
Итак, жили-были две функции:
void func0(bool=false); //ok
void func1(bool=8>=8); //ok
И на лексемы разбирались они успешно и без конфликтов.
И был у них друг помошник:
#define F(TYPE,NAME,VALUE)TYPE NAME=VALUE;
F(int,value,0);
#undef F
Лексер и его на лексемы разбирал.
Но пришли злые шаблоногородители и по нагородили шаблонов...
Нагородили шаблонные структуры типа таких:
template<bool>struct a{constexpr a(bool){}};
и переменные типа таких:
a<0> var=0;
map<int,int> m;
А лексер всё стоял и терпел. Он всё успешно на лексемы разбирал.
Но радилась как-то в коде функция типа такой:
void func2(a<0>=8>=8); // fail
И не выдержал лексер:
prog.cpp:4:18: warning: comparisons like ‘X<=Y<=Z’ do not have their mathematical meaning [-Wparentheses]
void func2(a<0>=8>=8); // fail
^
prog.cpp:4:12: error: parse error in template argument list
void func2(a<0>=8>=8); // fail
^
Не понял он что хотят от него.
void func2(a<0> = 8>=8 ); // это?
void func2(a< 0>=8 > =8); // или это?
... да как же вам объяснить?
А давайте я заменю "<" на "{", а ">" на "}".
И не понял лексер, что хотят от него.
void func2(a{0}=8>=8); // это?
void func2(a{0>=8}=8); // или это?
А потом уродилось в коде ещё и это:
#define F(TYPE,NAME,VALUE)TYPE NAME=VALUE;
F(a<0>,var,0); //ok
#undef F
Но лексер терпел.
Терпел, да не выдержал.
#define F(TYPE,NAME)TYPE NAME;
F(map<int,int>,m); //fail
#undef F
Решил он забить на дело гиблое:
prog.cpp:7:17: error: macro "F" passed 3 arguments, but takes just 2
F(map<int,int>,m); //fail
^
И ужёл он к другим стандартописателям.
</сказка>
tags: черновик, сказка, С++11, шаблоны, макросы, лексер
LispGovno 02.02.2014 14:34 # +4
defecate-plusplus 02.02.2014 14:55 # +5
Horse3 02.02.2014 15:22 # −13
inkanus-gray 02.02.2014 15:59 # +4
Horse3 02.02.2014 16:20 # −17
Horse3 02.02.2014 15:21 # −15
bormand 02.02.2014 14:51 # +5
Да еще как... Вон до 11х крестов надо было писать > > вместо >>.
> void func2(a{0}=8>=8); // это?
> void func2(a{0>=8}=8); // или это?
Или вообще чистую математику без шаблонов: ((a < 0) >= 8) >= 8
3.14159265 02.02.2014 15:22 # +6
Такими темпами рано или поздно у Сиплюструпа закончились бы символы, и пришлось бы использовать что-то повторно.
Horse3 02.02.2014 15:22 # −13
inkanus-gray 02.02.2014 16:01 # 0
Horse3 02.02.2014 16:20 # −15
Horse3 02.02.2014 15:22 # −13
3.14159265 02.02.2014 15:20 # +4
/thread
Horse3 02.02.2014 15:22 # −13
Horse3 02.02.2014 15:22 # −13
kegdan 02.02.2014 16:28 # 0
Молодой человек, некультурно прилюдно показывать код на плюсах, тут дети могут быть
Horse3 02.02.2014 16:33 # −22
kegdan 02.02.2014 16:35 # −3
LispGovno 02.02.2014 18:27 # +5
inkanus-gray 02.02.2014 19:02 # +4
А если поставить коня, то поняшки обидятся.
LispGovno 02.02.2014 19:07 # +2
kegdan 03.02.2014 03:07 # +1
раз... два... три...
я спокоен
коняшки и поняшки - разные вещи
LispGovno 03.02.2014 18:39 # +1
anonimb84a2f6fd141 03.02.2014 06:02 # −1
LispGovno 02.02.2014 20:03 # +3
bormand 02.02.2014 20:07 # +4
LispGovno 02.02.2014 20:08 # +2
chtulhu 03.02.2014 05:38 # +5
Soul_re@ver 02.02.2014 20:07 # +3
Или Стертор расчехлил своих ботов.
3.14159265 02.02.2014 20:08 # +2
Soul_re@ver 02.02.2014 19:32 # +1
Для передачи шаблонных конструкций в макрос используйте тайпдефы, можно локальные:
Странно что с такими проблемами вы вообще макросами отваживаетесь пользоваться. Тамже везде подводные грабли.
bormand 02.02.2014 19:38 # +2
(*) если ты не пилишь буст или подобную либу.
kegdan 03.02.2014 03:08 # 0
bormand 03.02.2014 06:20 # +1
kegdan 03.02.2014 06:39 # +1
Stertor 03.02.2014 16:50 # +1
Кол бы больше подошел.
hdkeeper 04.02.2014 11:11 # +1
kegdan 04.02.2014 11:45 # −2
hdkeeper 04.02.2014 12:24 # −1