スレッド: [cppll:9310] Re: ポインタのサイズ

思いっきり説明べたですいません。

sizeof char*
sizeof double*
sizeof XXX*
が同じだというのはどこかで保証されてるのかなと。

保証されてなきゃ
Base* = new Derived();
なんてこと出来ないから、どこかに書かれてるんでしょうけど・・・

επιστημηです。

--- "[cppll:9310] Re:  ポインタのサイズ" / takayuki.ebiko@... ---

>sizeof char*
>sizeof double*
>sizeof XXX*
>が同じだというのはどこかで保証されてるのかなと。

同じと考えていいと思う。

けど、それが保証されていれば、なぜにして

複数モジュールでコンパイル時の依存をなくすために、
よくポインタを用いたりしています。

なのかがわかんないのです。

-----:-----:-----:-----:-----:-----:-----:-----:-----:-----
FUKUDA (episteme) Fumiki -- magical, but never a magic...

επιστημηです。

--- "[cppll:9310] Re:  ポインタのサイズ" / takayuki.ebiko@... ---

>sizeof char*
>sizeof double*
>sizeof XXX*
>が同じだというのはどこかで保証されてるのかなと。
>
>保証されてなきゃ

どれも malloc 一個でまかなえるワケないですなぁ。

-----:-----:-----:-----:-----:-----:-----:-----:-----:-----
FUKUDA (episteme) Fumiki -- magical, but never a magic...

Message-Id: <200308070141.h771f9S20305@mailsv.nec.co.jp>
 Date:       Thu, 07 Aug 2003 10:33:52 +0900
 From:       FUKUDA Fumiki <fukuda.fm@...>
 Subject:    [cppll:9313] Re: ポインタのサイズ

 | επιστημηです。
 |
 | --- "[cppll:9310] Re:  ポインタのサイズ" / takayuki.ebiko@... ---
 |
 | >sizeof char*
 | >sizeof double*
 | >sizeof XXX*
 | >が同じだというのはどこかで保証されてるのかなと。
 | >
 | >保証されてなきゃ
 |
 | どれも malloc 一個でまかなえるワケないですなぁ。

mallocはvoid*なのでまかなえる、ですよね。

ARMのどこかに、ワードアドレッシングのマシンだと
 sizeof (int*) < sizeof (char*) == sizeof (void*)
となる、という話があったとおもいます。

--
鯉江英隆 <hide@...>

さあもとです。

[cppll:9313] FUKUDA Fumiki wrote:
> >保証されてなきゃ
>
> どれも malloc 一個でまかなえるワケないですなぁ。

farmalloc…。（ガクガクブルブル）

関数ポインタとデータポインタでサイズが異なる、というのはあり
得ることだと思います。
例えばXXXが

typedef void (XXX)(void);

のように定義されているばやい、とか。

〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜
 へ  へ    さあもと
 の  の    E-Mail : sawamoto@...
〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜

中村です。

At 07 Aug 2003 10:16:53 +0900 takayuki.ebiko@... wrote:
> sizeof char*
> sizeof double*
> sizeof XXX*
> が同じだというのはどこかで保証されてるのかなと。
>
> 保証されてなきゃ
> Base* = new Derived();
> なんてこと出来ないから、どこかに書かれてるんでしょうけど・・・

ポインタのサイズが違っても上記のことは出来ます。

Base* p = new Derived();

はDerivedへのポインタをBaseへのポインタに変換するという意味であって、物理
的にポインタの値をコピーすることを意味するわけではありません。ですから、コ
ンパイラが然るべきコードを生成すればポインタのサイズが異なっても上記のこと
は達成できます。

ポインタの物理的な表現方法について述べてあるのは、ISの3.9.2の3と4でしょうか。

> 3 A pointer to objects of type T is referred to as a “pointer to T.”
> [Example: a pointer to an object of type int is referred to as “pointer
> to int” and a pointer to an object of class X is called a “pointer to
> X.” ] Except for pointers to static members, text referring to “
> pointers” does not apply to pointers to members. Pointers to incomplete
> types are allowed although there are restrictions on what can be done
> with them (3.9). The value representation of pointer types is
> implementation defined. Pointers to cv-qualified and cv-unqualified
> versions (3.9.3) of layoutcompatible types shall have the same value
> representation and alignment requirements (3.9).
>
> 4 Objects of cv-qualified (3.9.3) or cv-unqualified type void* (pointer to
> void), can be used to point to objects of unknown type. A void* shall be
> able to hold any object pointer. A cvqualified or cvunqualified (3.9.3)
> void* shall have the same representation and alignment requirements as a
> cv-qualified or cv-unqualified char*.


ISの引用部分では除外されていますが、メンバ関数へのポインタなんかはサイズが
異なることが殆どではないかと思います。


ところで、実際にvoid*とint*のサイズが違うようなシステムってどんなものがあ
るのでしょう？

--
Satoshi Nakamura <snak@...>

Tietew です。

On Thu, 7 Aug 2003 10:16:53 +0900
In article <OFAABF5426.C4D5C209-ON49256D7B.0006334D@nts.ricoh.co.jp>
[[cppll:9310] Re:  ポインタのサイズ]
takayuki.ebiko@... wrote:

> sizeof char*
> sizeof double*
> sizeof XXX*
> が同じだというのはどこかで保証されてるのかなと。

保証されてはいません。

> 保証されてなきゃ
> Base* = new Derived();
> なんてこと出来ないから、

いいえ。もしサイズが違ってもコンパイラが補正してくれます。

NULL は 0 と可換だけどメモリ上でゼロ値とは限らないのと似てるかな。


—[ Tietew ]——— tietew@... / tietew@... ——————
■Tietew Windows Lab.                        http://www.tietew.net/
★C++:language&libraries過去ログ&なまず http://www.tietew.jp/cppll/
PGP fingerprint: 26CB 71BB B595 09C4 0153  81C4 773C 963A D51B 8CAA