link もっと前
   2017年 4月 21日 -
      2017年 4月 12日  
link もっと後

link 未来から過去へ表示(*)
link 過去から未来へ表示

日々

link permalink

include の謎の文法

C/C++ 言語のヘッダをインクルードする #include ディレクティブには 2つの指定方法があります。1つは #include <cstdio> のように山括弧で囲う方法、もう 1つは #include "cstdio" のように二重引用符で囲う方法です。

このうち山括弧で囲う方は少し変わった文法規則になっており、ファイル名に '>' や改行を指定できない特徴があります。詳細は下記の通りです。

#include <...> の文法規則
N3797 Working Draft, Standard for Programming Language C++ より

----

control-line:
  # include pp-tokens new-line
  (...略...)

pp-tokens:
  preprocessing-token
  pp-tokens preprocessing-token

preprocessing-token:
  header-name    ★これ
  identifier
  pp-number
  character-literal
  user-defined-character-literal
  string-literal
  user-defined-string-literal
  preprocessing-op-or-punc
  each non-white-space character that cannot be one of the above

header-name:
  < h-char-sequence >    ★これ
  " q-char-sequence "

h-char-sequence:
  h-char
  h-char-sequence h-char

h-char:
  any member of the source character set except new-line and >

注目すべきは文字列リテラルと異なり、エスケープ規則がないことです。エスケープしようとして \> と書いても「バックスラッシュと山括弧」と認識されてしまい '>' を指定したことになりません。

従って、もしヘッダのファイル名に '>' が含まれていると、#include "..." ではインクルードできるのに、#include <...> ではインクルードできない、変なヘッダファイルになってしまいます。C/C++ 言語の制約と言えば制約ですけど、そんな変なヘッダ名を付ける人は居ないので、ほぼ実害はありません。

規格書を見ると、header-name は #include 専用と言って良いほどの特殊な文法です。何気なく使っている #include の意外な一面を見た気がします。

[編集者: すずき]
[更新: 2017年 4月 21日 00:24]
link 編集する

コメント一覧

  • コメントはありません。
open/close この記事にコメントする



link permalink

ありがとう Amazon さん

先日(2017年 4月16日の日記参照)の続きです。

全く起動しなくなった ASRock J4205-ITX を初期不良で交換してもらうべく、ASRock のサポートフォームから質問してみましたが、全く返事が来ず途方に暮れていました。

もうどうしようも無いので、ダメ元で Amazon のカスタマサービスに泣きついてみたところ、事情を考慮して交換に応じて頂けるとのこと。さすが Amazon さん。

冤罪の可能性を消したい

交換までしてもらって、実はマザーボードの故障ではなく、奇跡の確率でメモリが 2つとも不良品だったらどうしよう?この期に及んでメモリも交換してださい、なんて絶対言えないだろ……などと若干不安に思っていました。

しかし、目の前にあるノート PC (ThinkPad Edge E420) は SandyBridge な Core i5 マシンです。DDR3 1333 SODIMM が使えます。つまりこのノート PC を使えば新しく買ったメモリの動作テストができます。

今思えば 1週間も ASRock のマザーと闘うくらいなら、最初からノート PC にブッ差せば良かったです。こんな初歩的なことに気づいていなかったとは不覚。

早速、ノート PC の裏蓋を剥がしメモリを差し替えました。拍子抜けするほどあっさり Windows 10 が起動しました。やはりメモリは壊れておらず、マザーボードの故障で間違いなさそうです。良かっ…いや、壊れているから良いというのも変か、だけど、何だかホッとしました。

メモ: 技術系の話は Facebook から転記しておくことにした。追記もした。

[編集者: すずき]
[更新: 2017年 4月 20日 23:47]
link 編集する

コメント一覧

  • コメントはありません。
open/close この記事にコメントする



link permalink

ついにお亡くなりになったマザーボード

先日(2017年 4月 5日の日記参照)の続きです。

ASRock J4205-ITX が完全にお亡くなりになりました。ついに DDR 1枚差しでも UEFI が起動しなくなりました(※)。

マザーボードを交換してほしいですが、Amazon の初期不良対応を見ると、メーカー担当者の名前を書けとあります。

しかし 2週間前にメールした ASRock のサポートには完全に無視されていて、書きようがありません。

どうしたら良いんでしょうね。困りました。

色々頑張った(※)記録

DDR は 2枚ありますがどちらを差しても、ウンともスンとも言いません。以前はこの状態に陥っても CMOS クリアでなんとか起動していました(当然、設定は全部やりなおし)が、それすらもダメでした。

電源は 2種類試したけど起動しません。電源の故障ではありません。ディスプレイは他のマシンに差せば映るので、ディスプレイでもありません。

残るはマザーボードとメモリしかないので、マザーボードの初期不良、もしくは、メモリ 2枚同時の初期不良しか考えられません。

しかしメモリの線は薄いと思っています。1つならまだしも 2つ同時に初期不良はありえないです。ほぼ間違いなくマザーボードがイカれてます。

メモ: 技術系の話は Facebook から転記しておくことにした。

[編集者: すずき]
[更新: 2017年 4月 17日 01:26]
link 編集する

コメント一覧

  • コメントはありません。
open/close この記事にコメントする



link もっと前
   2017年 4月 21日 -
      2017年 4月 12日  
link もっと後

管理用メニュー

link 記事を新規作成

合計:  counter total
本日:  counter today

link About www.katsuster.net
RDF ファイル RSS 1.0
QR コード QR コード

最終更新: 5/22 01:24

カレンダー

<2017>
<<<04>>>
------1
2345678
9101112131415
16171819202122
23242526272829
30------

最近のコメント 20件

  • link 17年05月03日
    すずき 「>hdk さん\nあー、そうか。やっと言...」
    (更新:05/08 22:55)
  • link 17年05月03日
    hdk 「いやー、ネスト自体は Linux KVM...」
    (更新:05/07 16:05)
  • link 17年05月03日
    すずき 「>hdk さん\n仮想化支援機能をエミュ...」
    (更新:05/07 01:16)
  • link 17年05月03日
    hdk 「この手のハイパーバイザー複数同時動作のた...」
    (更新:05/06 23:48)
  • link 17年05月03日
    すずき 「>hdk さん\nなるほど。仮に同時に使...」
    (更新:05/06 23:22)
  • link 17年05月03日
    hdk 「同時に使うことはできませんねぇ。Hype...」
    (更新:05/06 22:15)
  • link 17年03月21日
    すずき 「>IKeJI さん\nなるほど。X クラ...」
    (更新:04/16 14:01)
  • link 17年03月21日
    IKeJI 「なるほど。\nxpra(のクライアント)...」
    (更新:04/15 01:00)
  • link 17年03月21日
    すずき 「>IKeJI さん\nいえ、Linux ...」
    (更新:04/14 11:29)
  • link 17年03月21日
    IKeJI 「Windows上で動かしてるアプリをLi...」
    (更新:04/13 14:49)
  • link 17年03月21日
    すずき 「>IKeJI さん\n片方が Windo...」
    (更新:04/09 19:26)
  • link 17年03月21日
    IKeJI 「両方がLinuxだと、xpraというのを...」
    (更新:04/09 14:11)
  • link 17年04月05日
    すずき 「>hdk さん\n新しいアーキテクチャ(...」
    (更新:04/06 23:55)
  • link 17年04月05日
    hdk 「その遅さはまるでキャッシュがきいていない...」
    (更新:04/06 22:00)
  • link 17年03月17日
    すずき 「>hdk さん\n情報ありがとうございま...」
    (更新:03/26 15:07)
  • link 17年03月17日
    hdk 「http://internet.watc...」
    (更新:03/25 23:56)
  • link 17年03月17日
    すずき 「>windowsがクソなのは変わらない ...」
    (更新:03/21 10:01)
  • link 17年03月17日
    windowsがクソ... 「とりあえずこれで回避できました&darr...」
    (更新:03/19 01:53)
  • link 16年10月08日
    すずき 「割と頻繁に使っているマシンなんですが、そ...」
    (更新:10/15 16:42)
  • link 16年10月08日
    hdk 「うーむ、そうなんですね...\nWind...」
    (更新:10/13 07:33)

最近の記事 3件

link もっとみる
  • link 17年05月20日
    すずき 「[珍しい青色] 「新しい青」200年ぶりに発見、クレヨンとして年内...」
    (更新:05/22 01:24)
  • link 17年05月21日
    すずき 「[ネットが遅くて辛い その 2] 先日(2017年 5月 4日の日...」
    (更新:05/22 01:09)
  • link 17年05月19日
    すずき 「[マウス] 昨日の続き(2017年 5月18日の日記参照)です。が...」
    (更新:05/20 16:46)

こんてんつ

open/close wiki
open/close Java API

過去の日記

open/close 2002年
open/close 2003年
open/close 2004年
open/close 2005年
open/close 2006年
open/close 2007年
open/close 2008年
open/close 2009年
open/close 2010年
open/close 2011年
open/close 2012年
open/close 2013年
open/close 2014年
open/close 2015年
open/close 2016年
open/close 2017年
open/close 過去日記について

その他の情報

open/close アクセス統計
open/close サーバ一覧
open/close サイトの情報