From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 20956 invoked by alias); 16 Jan 2004 22:09:44 -0000 Mailing-List: contact gdb-help@sources.redhat.com; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-owner@sources.redhat.com Received: (qmail 20890 invoked from network); 16 Jan 2004 22:09:43 -0000 Received: from unknown (HELO uniton.integrable-solutions.net) (62.212.99.186) by sources.redhat.com with SMTP; 16 Jan 2004 22:09:43 -0000 Received: from uniton.integrable-solutions.net (localhost [127.0.0.1]) by uniton.integrable-solutions.net (8.12.3/8.12.3/SuSE Linux 0.6) with ESMTP id i0GM3K9b027723; Fri, 16 Jan 2004 23:03:20 +0100 Received: (from gdr@localhost) by uniton.integrable-solutions.net (8.12.3/8.12.3/Submit) id i0GM3JQr027722; Fri, 16 Jan 2004 23:03:19 +0100 X-Authentication-Warning: uniton.integrable-solutions.net: gdr set sender to gdr@integrable-solutions.net using -f To: mec.gnu@mindspring.com (Michael Elizabeth Chastain) Cc: eliz@elta.co.il, gdb@sources.redhat.com Subject: Re: gdb, c++ & namespaces References: <20040115125112.182744B104@berman.michael-chastain.com> From: Gabriel Dos Reis In-Reply-To: <20040115125112.182744B104@berman.michael-chastain.com> Organization: Integrable Solutions Date: Fri, 16 Jan 2004 22:09:00 -0000 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-SW-Source: 2004-01/txt/msg00215.txt.bz2 mec.gnu@mindspring.com (Michael Elizabeth Chastain) writes: | eli> The manual doesn't mention "static type" and "dynamic type" in the | eli> section that describes "set pruint". I think it should, if this | eli> terminology is to be widely accepted. | | I don't know what the popular usage in the C++ community is. | I don't want to invent new phrases if there are existing phrases. "static type" and "dynamic type" are not new phrases :-) | I checked "The C++ Programming Language" and it does not have | any nice phrases to distinguish "the type that the pointer says" | versus "the type that the object in memory has". I think GDB maintainers should also consult the C++ standard when they implement support tools for C+ ;-). 1.3.3 dynamic type the type of the most derived object (1.8) to which the lvalue denoted by an lvalue expression refers. [Example: if a pointer (8.3.1) p whose static type is "pointer to class B" is pointing to an object of class D, derived from B (clause 10), the dynamic type of the expression *p is "D". References (8.3.2) are treated similarly. ] The dynamic type of an rvalue is its static type. 1.3.11 static type the type of an expression (3.9), which type results from analysis of the program without considering execution semantics. The static type of an expression depends only on the form of the program in which the expression appears, and does not change while the program is executing. -- Gaby