Re: Annotations on K&R II

Article View: comp.lang.c.moderated

Article #2573

Back to comp.lang.c.moderated Previous Next

#2573

From: Henning Makholm
Date: Thu, 11 Apr 1996 18:54

15 lines
1247 bytes

schwarz@mips.complang.tuwien.ac.at (Konrad Schwarz) writes:

>My understanding is that a conversion to a (void *) followed by a conversion
>to the original pointer type is the identity mapping; in other words, the
>mapping a C compilers uses between (void *) and any other pointer type is
>bijective.

It is not necessarily, the mapping from (useful*) to (void*) is not
required to be surjective, and the mapping from (void*) to (useful*)
is not required to be injective, except when restricted to the set of
(void*)s that points to objects with suitable alignment for useful's.
-- 

Henning Makholm - math and CS student - University of Copenhagen
makholm@diku.dk - http://www.diku.dk/students/makholm - fido 2:235/224.92

Technical Details

Message-ID: <4kjkgr$bng@solutions.solon.com>

Path: arc1-ca.pugleaf.net!solon.com!not-for-mail

References: <4jq1eq$a3c@solutions.solon.com> <4jr73o$h87@solutions.solon.com> <4jv6o8$coj@solutions.solon.com>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!solon.com!not-for-mail
From: makholm@diku.dk (Henning Makholm)
Newsgroups: comp.lang.c.moderated
Subject: Re: Annotations on K&R II
Date: 11 Apr 1996 13:54:19 -0500
Organization: Department of Computer Science, U of Copenhagen
Sender: clc@solutions.solon.com
Approved: clc@solutions.solon.com
Message-ID: <4kjkgr$bng@solutions.solon.com>
References: <4jq1eq$a3c@solutions.solon.com> <4jr73o$h87@solutions.solon.com>
 <4jv6o8$coj@solutions.solon.com>
NNTP-Posting-Host: solutions.solon.com

Reply to Parent Message