Slide 1
Slide 1 text
みんな代替トークン使とる。
使てへんのお前だけ。
2020/1/29 鳥頭かりやマン
1
Slide 2
Slide 2 text
初心者向けネタ発表です。
「そんなんみんな知っとるが」など、その
筋の方からのツッコミは無しの方向でお
願いします…
2
Slide 3
Slide 3 text
代替トークンとは？
3
Slide 4
Slide 4 text
代替トークンとは？
「代替」の「トークン」
まんま…
なお、よく「ダイグラフ」と
呼ばれたりもするが…
4
Slide 5
Slide 5 text
代替トークンとは？
代替 本来 代替 本来 代替 本来
<% { and && xor ^
%> } bitand & xor_eq ^=
<: [ and_eq &= not !
:> ] or || not_eq !=
%: # bitor | compl ~
%:%: ## or_eq |=
5
見ての通り、必ずしも「ダイ」（2文字）ではなく、
キーワード型の物も結構ある。
これらの名前も予約語なので、例えば and や
or と言った関数名や変数名は使えない。
ダ
イ
グ
ラ
フ
で
は
な
い
。
代
替
ト
ー
ク
ン
と
呼
べ
。
Slide 6
Slide 6 text
代替トークンとは？
代替 本来 代替 本来 代替 本来
<% { and && xor ^
%> } bitand & xor_eq ^=
<: [ and_eq &= not !
:> ] or || not_eq !=
%: # bitor | compl ~
%:%: ## or_eq |=
6
なお、「トークン」と名前がついている通り、コンパイラが
ソースをトークン化する際に処理されるので、文字列中
や他の識別子中では代替トークンとはみなされない。
まぁ当たり前っちゃあ当たり前なんだけど…
Slide 7
Slide 7 text
使用例
7
Slide 8
Slide 8 text
使用例
使用前
#include
int main()
{
int a[] = { 114, 514, };
for (int i = 0; i < 2; ++i) {
std::cout << a[i] << ", ";
}
std::cout << '\n';
}
8
Slide 9
Slide 9 text
使用例
使用後
%:include
int main()
<%
int a<::> = <% 114, 514, %>;
for (int i = 0; i < 2; ++i) <%
std::cout << a<:i:> << ", ";
%>
std::cout << '\n';
%>
9
Slide 10
Slide 10 text
使用例
使用後
%:include
int main()
<%
int a<::> = <% 114, 514, %>;
for (int i = 0; i < 2; ++i) <%
std::cout << a<:i:> << ", ";
%>
std::cout << '\n';
%>
10
読みやすい！
（異論は認める）
Slide 11
Slide 11 text
使用例
…これ、使う気がしない…
11
Slide 12
Slide 12 text
使用例
…これ、使う気がしない…
と思いましたね？
12
Slide 13
Slide 13 text
使用例
使用前
template
bool
all_of(InputIterator first, InputIterator last, Predicate pred)
{
for (; first != last; ++first)
if (!pred(*first))
return false;
return true;
}
13
否定演算子が
見づらい！
Slide 14
Slide 14 text
使用例
使用後
template
bool
all_of(InputIterator first, InputIterator last, Predicate pred)
{
for (; first != last; ++first)
if (not pred(*first))
return false;
return true;
}
14
否定演算子が
見やすい！
（異論は認めない）
Slide 15
Slide 15 text
使用例
どうですか？
使いたくなってきませんか？
15
Slide 16
Slide 16 text
ビット反転演算子が
見づらい！
使用例
使用前
const result_type Yp = (x[i] & ~mask) |
(x[j] & mask);
const size_t k = (i + m) % n;
x[i] = x[k] ^ rshift<1>(Yp) ^ (a * (Yp & 1));
result_type z = x[i] ^ (rshift(x[i]) & d);
i = j;
z ^= lshift(z) & b;
z ^= lshift(z) & c;
return z ^ rshift(z);
16
Slide 17
Slide 17 text
ビット反転演算子が
見やすい！
（異論は認める）
使用例
使用後
const result_type Yp = (x[i] & compl mask) |
(x[j] & mask);
const size_t k = (i + m) % n;
x[i] = x[k] ^ rshift<1>(Yp) ^ (a * (Yp & 1));
result_type z = x[i] ^ (rshift(x[i]) & d);
i = j;
z ^= lshift(z) & b;
z ^= lshift(z) & c;
return z ^ rshift(z);
17
Slide 18
Slide 18 text
使用例
使用後（過激派）
const result_type Yp = (x<:i:> bitand compl mask) bitor
(x<:j:> bitand mask);
const size_t k = (i + m) % n;
X<:i:> = x<:k:> xor rshift<1>(Yp) xor (a * (Yp bitand 1));
result_type z = x<:i:> xor (rshift(x<:i:>) bitand d);
i = j;
z xor_eq lshift(z) bitand b;
z xor_eq lshift(z) bitand c;
return z xor rshift(z);
18
Slide 19
Slide 19 text
何もかもが
見やすい！
（異論は認める）
使用例
使用後（過激派）
const result_type Yp = (x<:i:> bitand compl mask) bitor
(x<:j:> bitand mask);
const size_t k = (i + m) % n;
X<:i:> = x<:k:> xor rshift<1>(Yp) xor (a * (Yp bitand 1));
result_type z = x<:i:> xor (rshift(x<:i:>) bitand d);
i = j;
z xor_eq lshift(z) bitand b;
z xor_eq lshift(z) bitand c;
return z xor rshift(z);
19
Slide 20
Slide 20 text
使用例
使用前
template
pair
mismatch(InputIterator1 first1, InputIterator1 last1,
InputIterator2 first2, InputIterator2 last2,
BinaryPredicate pred)
{
for (; first1 != last1 && first2 != last2; ++first1, ++first2)
if (!pred(*first1, *first2))
break;
return pair(first1, first2);
}
20
Slide 21
Slide 21 text
使用例
使用後
template
pair
mismatch(InputIterator1 first1, InputIterator1 last1,
InputIterator2 first2, InputIterator2 last2,
BinaryPredicate pred)
{
for (; first1 != last1 and first2 != last2; ++first1, ++first2)
if (not pred(*first1, *first2))
break;
return pair(first1, first2);
}
21
Slide 22
Slide 22 text
使用例
ところで皆さん、
代替トークンの字面に
惑わされてはいませんか？
22
Slide 23
Slide 23 text
使用例
使用前
struct S {
S() = default;
S(const S&) = default;
S(S&&) = default;
~S() = default;
};
23
まっ、まさか…
Slide 24
Slide 24 text
使用例
使用後
struct S <%
S() = default;
S(const S bitand) = default;
S(S and) = default;
compl S() = default;
%>;
24
まっ、まさか…
そのまさかだ、フハ
ハハハハハハハ！
Slide 25
Slide 25 text
使用例
使用後
struct S <%
S() = default;
S(const S bitand) = default;
S(S and) = default;
compl S() = default;
%>;
25
まっ、まさか…
そのまさかだ、フハ
ハハハハハハハ！
スゴい！
参照もデストラクタも
見やすい！
Slide 26
Slide 26 text
まっ、まさか…
そのまさかだ、フハ
ハハハハハハハ！
使用例
使用後
struct S <%
S() = default;
S(const S bitand) = default;
S(S and) = default;
compl S() = default;
%>;
26
スゴい！
参照もデストラクタも
見やすい！
ダメ！ゼッタイ！
Slide 27
Slide 27 text
結論
27
Slide 28
Slide 28 text
結論
代替トークン普及の会からのお知らせ
みんな積極的に
代替トークンを使おう！
せめて忘れないであげてください！！！
28
Slide 29
Slide 29 text
蛇足①
ちなみに、C++17で廃止されてしまったトライグラフは、トー
クン化どころかプリプロセス前に処理されていたので、文字
列内とかでも問答無用で変換対象になっていた。
29
代替 本来 代替 本来 代替 本来
??= # ??( [ ??< {
??/ \ ??) ] ??> }
??’ ^ ??! | ??- ~
Slide 30
Slide 30 text
蛇足①
使用前（再掲）
#include
int main()
{
int a[] = { 114, 514, };
for (int i = 0; i < 2; ++i) {
std::cout << a[i] << ", ";
}
std::cout << '\n';
}
30
Slide 31
Slide 31 text
蛇足①
使用後(トライグラフ)
??=include
int main()
??<
int a??(??) = ??< 114, 514, ??>;
for (int i = 0; i < 2; ++i) ??<
std::cout << a??(i??) << ", ";
??>
std::cout << '\n';
??>
31
Slide 32
Slide 32 text
蛇足①
使用後(トライグラフ)
??=include
int main()
??<
int a??(??) = ??< 114, 514, ??>;
for (int i = 0; i < 2; ++i) ??<
std::cout << a??(i??) << ", ";
??>
std::cout << '\n';
??>
実際某青いI社のメインフレームで見たときは正直キモかった…（個人の感想です）
32
読みづらい！
（異論は認める）
Slide 33
Slide 33 text
蛇足➁
C++のトークン化は、通常最長のトークンを切り出すことに
なっている。
例）
external
⇒ “extern”と“al”と言う2つのトークンではなく、 “external”と言う単一のトークン
a+++++b
⇒ “a” “++” “+” “++” “b” ではなく、“a” “++” “++” “+” “b” と言うトークン列
33
Slide 34
Slide 34 text
蛇足➁
しかし、代替トークンに関連した以下のような例外がある。
“<::”の後ろに続く文字が“>”でも“:”でもなかった場合、
“<”と“::”と言う2つのトークンになる。
“<:” ⇒ “{”
“<::” ⇒ “<” と “::”
“<::>” ⇒ “{” と “}”
“<:::” ⇒ “{” と “::”
まぁ普通この規則に引っかかることはおそらく一生のうち１度も無いとは思う…
34
Slide 35
Slide 35 text
蛇足➂
C言語では、キーワード型の代替トークンは言語仕様ではな
く、ヘッダで提供されている。
35
代替 本来 代替 本来 代替 本来
<% { and && xor ^
%> } bitand & xor_eq ^=
<: [ and_eq &= not !
:> ] or || not_eq !=
%: # bitor | compl ~
%:%: ## or_eq |=
言語仕様で提供 ヘッダiso646.hで提供
Slide 36
Slide 36 text
みんな代替トークン使とる。
使てへんのお前だけ。
36
完
終
制作・著作
━━━━━
ⓃⒽⓀ