- 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, шаблоны, макросы, лексер