blob: 4ee22fea8da6ad0ee44a9a1d23717bbcad43a062 (
plain)
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
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
<?xml version="1.0" encoding="UTF-8"?>
<article xmlns="http://docbook.org/ns/docbook" xmlns:xl="http://www.w3.org/1999/xlink" version="5.0">
<info>
<title>【C++】 属性構文の属性名にはキーワードが使える</title>
<abstract>
C++ の属性構文の属性名には、キーワードが使える。ネタ記事。
</abstract>
<keywordset>
<keyword>cpp</keyword>
<keyword>cpp17</keyword>
</keywordset>
<revhistory>
<revision>
<date>2021-10-02</date>
<revremark>Qiita から移植</revremark>
</revision>
</revhistory>
</info>
<simpara>この記事は Qiita から移植してきたものです。 元 URL:
<link xl:href="https://qiita.com/nsfisis/items/94090937bcf860cfa93b">https://qiita.com/nsfisis/items/94090937bcf860cfa93b</link></simpara>
<simpara><hr/></simpara>
<simpara>タイトル落ち。まずはこのコードを見て欲しい。</simpara>
<programlisting language="cpp" linenumbering="unnumbered">#include <iostream>
[[alignas]] [[alignof]] [[and]] [[and_eq]] [[asm]] [[auto]] [[bitand]]
[[bitor]] [[bool]] [[break]] [[case]] [[catch]] [[char]] [[char16_t]]
[[char32_t]] [[class]] [[compl]] [[const]] [[const_cast]] [[constexpr]]
[[continue]] [[decltype]] [[default]] [[delete]] [[do]] [[double]]
[[dynamic_cast]] [[else]] [[enum]] [[explicit]] [[export]] [[extern]] [[false]]
[[final]] [[float]] [[for]] [[friend]] [[goto]] [[if]] [[inline]] [[int]]
[[long]] [[mutable]] [[namespace]] [[new]] [[noexcept]] [[not]] [[not_eq]]
[[nullptr]] [[operator]] [[or]] [[or_eq]] [[override]] [[private]]
[[protected]] [[public]] [[register]] [[reinterpret_cast]] [[return]] [[short]]
[[signed]] [[sizeof]] [[static]] [[static_assert]] [[static_cast]] [[struct]]
[[switch]] [[template]] [[this]] [[thread_local]] [[throw]] [[true]] [[try]]
[[typedef]] [[typeid]] [[typename]] [[union]] [[unsigned]]
[[virtual]] [[void]] [[volatile]] [[wchar_t]] [[while]] [[xor]] [[xor_eq]]
// [[using]]
int main() {
std::cout << "Hello, World!" << std::endl;
}</programlisting>
<blockquote>
<simpara>コンパイラのバージョン $ clang++ –version Apple clang version 11.0.0
(clang-1100.0.33.8) Target: x86_64-apple-darwin19.6.0 Thread model:
posix InstalledDir:
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin</simpara>
<simpara>コンパイルコマンド (C17指定) $ clang –std=c++17 hoge.cpp</simpara>
</blockquote>
<simpara>この記事から得られるものはこれ以上ないので以下は蛇足になる。</simpara>
<simpara>別件で cppreference.com の
<link xl:href="https://en.cppreference.com/w/cpp/language/identifiers">identifier
のページ</link> を読んでいた時、次の文が目に止まった。</simpara>
<blockquote>
<itemizedlist>
<listitem>
the identifiers that are keywords cannot be used for other purposes;
<itemizedlist>
<listitem>
The only place they can be used as non-keywords is in an
attribute-token. (e.g. [[private]] is a valid attribute) (since C++11)
</listitem>
</itemizedlist>
</listitem>
</itemizedlist>
</blockquote>
<simpara>キーワードでも属性として指定する場合は非キーワードとして使えるらしい。
実際にやってみる。</simpara>
<simpara>同サイトの <link xl:href="https://en.cppreference.com/w/cpp/keyword">keywords のページ</link>
から一覧を拝借し、上のコードが出来上がった (C++17
においてキーワードでないものなど、一部省いている)。 大量の警告 (unknown
attribute `〇〇' ignored)
がコンパイラから出力されるが、コンパイルできる。</simpara>
<simpara>上のコードでは <literal>[[using]]</literal> をコメントアウトしているが、これは <literal>using</literal>
キーワードのみ属性構文の中で意味を持つからであり、このコメントアウトを外すとコンパイルに失敗する。</simpara>
<programlisting language="cpp" linenumbering="unnumbered">// using の例
[[using foo: attr1, attr2]] int x; // [[foo::attr1, foo::attr2]] の糖衣構文</programlisting>
<simpara>C++17 の仕様も見てみる (正確には標準化前のドラフト)。</simpara>
<simpara>引用元: <link xl:href="https://timsong-cpp.github.io/cppwp/n4659/dcl.attr#grammar-4">https://timsong-cpp.github.io/cppwp/n4659/dcl.attr#grammar-4</link></simpara>
<blockquote>
<simpara>If a keyword or an alternative token that satisfies the syntactic
requirements of an identifier is contained in an attribute-token, it is
considered an identifier.</simpara>
</blockquote>
<simpara>「<literal>identifier</literal> の構文上の要件を満たすキーワードまたは代替トークンが
<literal>attribute-token</literal> に含まれている場合、<literal>identifier</literal>
とみなされる」とある。どうやら間違いないようだ。</simpara>
<simpara>ところで、代替トークン (alternative token) とは <literal>and</literal> (<literal>&</literal>) や <literal>bitor</literal>
(<literal>|</literal>) などのことだが、<literal>identifier</literal>
の構文上の要件を満たさないような代替トークンなどあるのか？
疑問に思って調べたところ、代替トークンという語にはダイグラフも含まれるらしい
(参考:
<link xl:href="https://timsong-cpp.github.io/cppwp/n4659/lex.digraph">同ドラフト</link>)</simpara>
<itemizedlist>
<listitem><literal><%</literal> → <literal>{</literal></listitem>
<listitem><literal>%></literal> → <literal>}</literal></listitem>
<listitem><literal><:</literal> → <literal>[</literal></listitem>
<listitem><literal>:></literal> → <literal>]</literal></listitem>
<listitem><literal>%:</literal> → <literal>#</literal></listitem>
<listitem><literal>%:%:</literal> → <literal>##</literal></listitem>
</itemizedlist>
<simpara>「<literal>identifier</literal>
の構文上の要件を満たさないような代替トークン」はこれらが当てはまると思われる。</simpara>
<simpara>調べた感想: 字句解析器か構文解析器が辛そう</simpara>
</article>
|
