2011-01-26

odr-usedは参考書では使わないことにした

規格の文面で、単なる一般動詞である「使う(use)」と、ODRの文面での「使う(use)」の使用が紛らわしいということで、新たに「ODR使用(odr-used)」という用語が導入された。

ODRが重要になる文面では、例えば、「もし、関数が使われている場合・・・」ではなく、「もし、関数がODR使用されている場合・・・」などとなる。

規格を厳格に考えるならば、当然、参考書でもODR使用という用語を使うべきである。考えたが、ODR使用という用語を参考書で使うのはやめておくことにした。もとより今執筆している参考書は、規格の翻訳ではないし、そこまでの厳密さを求めるのならば、そもそも規格を読むべきなのだ。

No comments:

Post a Comment

You can use some HTML elements, such as <b>, <i>, <a>, also, some characters need to be entity referenced such as <, > and & Your comment may need to be confirmed by blog author. Your comment will be published under GFDL 1.3 or later license with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.