C++ 03の奇妙さseekoff（）とseekpos（）の仕様

Question

私は独自のstreambufサブクラスを作成しており、C++ 03仕様（ISO/IEC 14882：2003）を参考にしています。セクション27.5.2.4.2 [lib.streambuf.virt.buffer]で

、両方basic_streambuf::seekoff()とbasic_streambuf::seekpos()の仕様は言う：

デフォルトの動作：返しpos_type（off_type（-1）） 。

今、私はoff_typeが符号付き整数型になるはずだった、それはこの表現がちょうどpos_type(-1)と同等である必要があります私には思えるようpos_typeは、符号なし整数型になるはずだったと思いました。

私は間違っていると仮定し、これらの型は符号付きと符号なしの他の組み合わせかもしれません...そして、私はまだこの二重キャストの可能性のある使用を理解することはできません。

たとえば、両方が署名されている場合、再び式はpos_type(-1)に相当します。

pos_typeは署名とoff_typeは、符号なしであった場合は - 意味がありませんが、私と一緒に負担している - そして、最高の状態で、この二重のキャストはpos_typeにいくつかの巨大な値を突き出すなり、最悪の場合、それは割り当てることによって、処理系定義の動作を呼び出します。符号付きのpos_type整数には大きすぎます。

ここでの代わりにpos_type(off_type(-1))を指定するための標準の根拠を知っている人はいますか？もしそうでなければ、それはもっともらしい理論的根拠を想像することができますか？

Answer 1

私は、デフォルトでpos_typeは、一般的にこのように定義されstd::streamposに沸くことを信じて：

typedef fpos<mbstate_t> streampos;

std::fpos通常のオフセットマルチバイトの状態オブジェクトと組み合わされます。

また、デフォルトでoff_typeも符号付き整数型（longまたはそのようなもの）であるstd::streamoffに煮詰めるます

だから私はここに考え方があなたとオフセット型を初期化することができるということです考えるセンチネル-1の値を使用すると、より複雑なオブジェクトである位置オブジェクトを初期化するために使用できます。 のコンストラクタはlong、ではなくstreamoffタイプを取るので、streamoffはlongなどより複雑な型になる可能性があるので、慎重にする必要があります。何の暗黙の変換はないだろうので

struct streamoff { 
    explicit streamoff(long offset); 
    // rest of the stuff here... 
}; 

それからちょうどpos_type(-1)は機能しません。

はstreamoffは、このように定義された実装を想像してみてください。

だから私はそれがちょうど慎重であると思う。