Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore.

Slides:

Advertisements

Presentazioni simili

Teoria e Tecniche del Riconoscimento

Advertisements

1 Le s-espressioni. 2 Un nuovo esempio completo: le s-espressioni Sexpr 4 alberi binari (possibilmente vuoti) che hanno sulle foglie atomi (stringhe)

1 Progettazione gerarchica delle s- espressioni, utilizzando lereditarietà

Interfacce Java.

WSDL (Web Services Description Language) Laurea Magistrale in Informatica Reti 2 (2006/07) dott. Federico Paoloni

Sequential Statements. – Il VHDL simula lo svolgersi in parallelo di varie operazioni – Loggetto fondamentale e il PROCESS – Un PROCESS contiene una serie.

I metodi di valutazione alternativi al Valore Attuale Netto Teoria della Finanza Aziendale Prof. Arturo Capasso A.A

Metodi Quantitativi per Economia, Finanza e Management Lezione n°7.

Model – View - Controller

Unified Modeling Language class C {…} class B extends C {…} Esiste una notazione grafica per mostrare le relazioni di ereditarietà. Object StringC B Tutte.

Sezione: Costruttori Costruttori. Definizione dei costruttori Se per una classe A non scrivo nessun costruttore, il sistema automaticamente crea il costruttore.

prompt> java SumAverage

1 struct Pila { private: int size; int defaultGrowthSize; int marker; int * contenuto; void cresci(int increment); public: Pila(int initialSize) ; Pila();

TIPOLOGIA DELLE VARIABILI SPERIMENTALI: Variabili nominali Variabili quantali Variabili semi-quantitative Variabili quantitative.

1. Conoscere luso delle collezioni in Java Comprendere le principali caratteristiche nelle varie classi di Collection disponibili Saper individuare quali.

JAVA C import java.util.*; #include <stdio.h>

2000 Prentice Hall, Inc. All rights reserved. 1 Capitolo 3 - Functions Outline 3.1Introduction 3.2Program Components in C++ 3.3Math Library Functions 3.4Functions.

6.6Ordinamento di Vettori Ordinamento di dati –Applicazione computazionale importante –Virtualmente ogni organizzazione deve ordinare dei dati Enormi quantità

Modello dati LISTA LISTA: LISTA: sequenza finita di 0 o più elementi LISTA di tipo T: lista in cui tutti gli elementi sono dello stesso tipo T. es. lista.

1 Implementazione di Linguaggi 2 PARTE 6 Implementazione di Linguaggi 2 PARTE 6 Massimo Ancona DISI Università di Genova Testo: A.V. Aho, R. Sethi, J.D.Ullman.

2000 Prentice Hall, Inc. All rights reserved. 1 Capitolo 6: Classi e astrazione dati 1.Introduzione 2.Definizione delle strutture 3.Accedere ai membri.

Sottoprogrammi e Unità di Compilazione Nicola Fanizzi Laboratorio - Corso di Programmazione (B) C.d.L. in Informatica DIB - Università degli Studi di Bari.

1 laboratorio di calcolo II AA 2003/04 ottava settimana a cura di Domizia Orestano Dipartimento di Fisica Stanza tel. ( )

FONDAMENTI DI INFORMATICA III WfMC-1. FONDAMENTI DI INFORMATICA III WfMC-2 WFMC Cose WfMC Workflow Management Coalition (WfMC), Brussels, è unorganizzazione.

Sequence. CREARE UNA SEQUENCE CREATE SEQUENCE nome [INCREMENT BY n] [START WITH n] [MAXVALUE n | NOMAXVALUE] [MINVALUE n | NOMINVALUE] [CYCLE | NOCYCLE]

PRODOTTO CARTESIANO Otteniamo un prodotto cartesiano quando: viene omessa la condizione di join una condizione di join non è valida tutte le righe della.

FUNZIONI DI GRUPPO Le funzioni di gruppo operano su un set di record restituendo un risultato per il gruppo. AVG ([DISTINCT|ALL] n) media, ignora i valori.

Componenti dell’architettura Oracle

Ricerca di una chiave: Search(x, k) if x == nil or k == x.key return x

Palermo, may 2010 F.Doumaz, S.Vinci (INGV-CNT- Gruppo di telerilevamento)

MIC 2008, Roma Antonio Pistoia Università Politecnica delle Marche MOODLELab Uno strumento per MOODLE per la gestione dei telelaboratori durante i corsi.

In un carburatore “tradizionale”, tramite la manopola del gas, viene azionata una ghigliottina ( valvola a farfalla) che regola la por tata di aria che.

Presentazione Finale Team 2 1. Decomposizione in sottosistemi 2.

Piero Scotto - C141 C14 #14 Puntatori e file. Il problema dellordinamento. Debug.

22 maggio 2002 Avvisi: Ultima lezione: mercoledì 29 maggio II Esonero: mercoledì 5 giugno, ore 10:00.

Un esempio: Registrazione e lettura di dati in un file

Microsoft Access Maschere.

JavaScript Lezione 5 Tipizzazione ed operazioni tra tipi diversi Istruzioni di input.

© 2008 WS (WebScience srl) – All rights reserved WS Tech workshop Software Construction.

Primi passi con Windows: Gestione del Desktop Barra Applicazioni Menu Avvio ISTITUTO COMPRENSIVO N.7 - VIA VIVALDI - IMOLA Via Vivaldi, Imola.

DIPARTIMENTO DI ELETTRONICA E INFORMAZIONE Lab 4: 15 Aprile 2013 Gianluca Durelli – Marco D. Santambrogio –

DA NATIVI DIGITALI A INTERNAUTI CONSAPEVOLI

Previsione quantità di vendita SAP Best Practices.

Tableau de bord Cruscotto di direzione

Analisi del video: Come può essere così difficile? Dopo aver visto il documentario, sul sito

OUTPUT FORMATTATO La funzione printf consente di effettuare la stampa a video formattata. Sintassi: printf ( stringa_formato, arg0, arg1, … ); La stringa.

Tutorial relativo al Mio EBSCOhost. Benvenuti al tutorial dedicato a Mio EBSCOhost, verranno fornite le istruzioni per la configurazione e lutilizzo ottimizzato.

Modulo 1 bis Menù Incolla Esercitazione Un computer è quasi umano, a parte il fatto che non attribuisce i propri errori a un altro computer. (Anonimo)

Moduli o Form I Moduli permettono all'utente di immettere informazioni...

OR4 (MODELLI) NOV- FEB.

Un cliente telefona in un negozio PC per avere dellaiuto. Limpiegato risponde: Sì, Buon giorno! che cosa posso fare per lei?

INTERNET Internet è una rete a livello mondiale che permette alle persone di comunicare ed ad accedere a banca dati da qualunque parte del mondo e su qualunque.

Sistema Informativo Demanio Idrico marzo Per aumentare lefficienza del servizio abbiamo realizzato un sistema in grado di gestire in modo integrato.

INTERNET Antonio Papa Classe 2^ beat I.S.I.S. G. Meroni a.s. 2007/2008.

Uso delle funzioni Uso delle funzioni

Introduzione al C++ Introduzione al linguaggio C++

Calibrating (Partial Equilibrium) Mathematical Programming Spatial Models Open questions … (filippo arfini) III Workshop PUE&PIEC - Treia (Mc), 3-4 febbraio.

24 aprile 2002 Avvisi: Risultati 1 o Esonero: (entro) lunedi 27 disponibili nella pag. WEB, ma anche esposti nella bacheca fuori dal corridoio 2 o dente,

Multiset. Progettare (specifica con identificazione delle eventuali astrazioni necessarie, incluse eccezioni, e implementazione) del tipo di dato Multiset,

Project Review Novembrer 17th, Project Review Agenda: Project goals User stories – use cases – scenarios Project plan summary Status as of November.

SUBQUERY Chi ha un salario maggiore di quello di Abel? Occorre scomporre la query in due sotto problemi: MAIN : quali impiegati hanno un salario maggiore.

Introduzione al linguaggio C. Cos’e’ il C? Il C e’ un linguaggio ad alto livello Un compilatore C prende in input un file contenente codice sorgente C.

Collection & Generics in Java

Sistemi di elaborazione dell’informazione Modulo 3 -Protocolli applicativi Unità didattica 4 - Protocolli del Web Ernesto Damiani Lezione 3 – Esempi HTTP.

Ereditarietà Uno dei principi della programmazione orientata agli oggetti (OOP) è il riuso Le classi dovrebbero essere progettate come componenti riutilizzabili.

Tipo di dato: array Un array è un tipo di dato usato per memorizzare una collezione di variabili dello stesso tipo. Per memorizzare una collezione di 7.

Copia di oggetti il costruttore di copia ha le stesse particolarità della signature di un costruttore ordinario; il primo parametro è una reference ad.

APPUNTI SUL LINGUAGGIO C

Corso di Algoritmi e Strutture Dati APPUNTI SUL LINGUAGGIO C

Transcript della presentazione:

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore Copyright © 1997 by Mario G. Montobbio All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording, or otherwise, without the prior written permission of the author. Mario G. Montobbio Permission to use, copy and distribute this publication for the purposes of research or private study without fee is hereby granted, provided that this copyright notice and this permission notice appear in all copies.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore Linguaggi senza verifica del tipo degli argomenti

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore CHIAMANTE CHIAMATO1CHIAMATO2CHIAMATO3 Il linguaggio COBOL non verifica che il tipo degli argomenti passati da un modulo CHIAMANTE ad una funzione esterna CHIAMATOx sia quello atteso.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore CHIAMANTE CHIAMATO1CHIAMATO2CHIAMATO3 In assenza di questo controllo automatico il richiamo ad una funzione esterna CHIAMATOx assomiglia ad una spina generica.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore CHIAMANTE CHIAMATO1CHIAMATO2CHIAMATO3 La spina del modulo CHIAMANTE può collegarsi con la presa della funzione CHIAMATO1.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore CHIAMANTE CHIAMATO1 CHIAMATO2CHIAMATO3 La spina del modulo CHIAMANTE e la presa della funzione CHIAMATO1 corrispondono esattamente.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore CHIAMANTE CHIAMATO1 CHIAMATO2CHIAMATO3 Questa è la situazione ideale.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore CHIAMANTE CHIAMATO1CHIAMATO2CHIAMATO3 La spina del modulo CHIAMANTE può collegarsi anche con la presa della funzione CHIAMATO2.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore CHIAMANTE CHIAMATO1 CHIAMATO2 CHIAMATO3 La spina del modulo CHIAMANTE e la presa della funzione CHIAMATO2 non corrispondono esattamente, ma – con qualche avvertenza – possono permettere il funzionamento.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore CHIAMANTE CHIAMATO1 CHIAMATO2 CHIAMATO3 Questo metodo di richiamo funziona se utilizzo solamente i primi tre denti ricevuti da CHIAMANTE...

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore CHIAMANTE CHIAMATO1 CHIAMATO2 CHIAMATO3... ma può causare una fine anomala dellelaborazione se il programmatore di CHIAMATO2 utilizza il quarto dente che non ha mai ricevuto da CHIAMANTE.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore CHIAMANTE CHIAMATO1CHIAMATO2CHIAMATO3 La spina del modulo CHIAMANTE può collegarsi anche con la presa della funzione CHIAMATO3.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore CHIAMANTE CHIAMATO1CHIAMATO2 CHIAMATO3 La spina del modulo CHIAMANTE e la presa della funzione CHIAMATO2 non corrispondono esattamente, ma – con qualche avvertenza – possono permettere il funzionamento.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore CHIAMANTE CHIAMATO1CHIAMATO2 CHIAMATO3 Questo metodo di richiamo funziona se utilizzo solamente il formato del secondo dente ricevuto da CHIAMANTE...

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore CHIAMANTE CHIAMATO1CHIAMATO2 CHIAMATO3... ma può causare risultati imprevedibili oppure una fine anomala dellelaborazione se il programmatore di CHIAMATO3 utilizza la punta del secondo dente che non ha mai ricevuto da CHIAMANTE.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore Riepilogo: In questa discussione abbiamo visto che: 1.Il linguaggio COBOL non verifica il tipo degli argomenti passati ad una funzione esterna. 2.È il programmatore che deve controllare manualmente che la quantità di argomenti e i loro tipi nel modulo CHIAMANTE e nella funzione CHIAMATA1 siano uguali. 3.Solamente lelaborazione dove la quantità e il tipo degli argomenti sono uguali nel CHIAMANTE e nel CHIAMATO1 è sicura. 4.Talvolta i programmatori COBOL sfruttano lassenza di verifiche sugli argomenti. 5.Solamente in casi molto particolari (es.: moduli generalizzati, quantità di argomenti variabili) è giustificato lo sfruttamento dellassenza di verifiche sugli argomenti.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore Linguaggi con verifica del tipo degli argomenti

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore Chiamante Chiamato1Chiamato2Chiamato3 Il linguaggio C++ verifica che il tipo degli argomenti passati da un modulo Chiamante ad una funzione esterna Chiamatox sia quello atteso.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore Chiamante Chiamato1Chiamato2Chiamato3 In presenza di questo controllo automatico il richiamo ad una funzione esterna CHIAMATOx assomiglia ad una spina specializzata.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore Chiamante Chiamato1Chiamato2Chiamato3 La spina del modulo Chiamante può collegarsi con la presa della funzione Chiamato1.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore Chiamante Chiamato1 Chiamato2Chiamato3 La spina del modulo Chiamante e la presa della funzione Chiamato1 corrispondono esattamente.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore Chiamante Chiamato1 Chiamato2Chiamato3 Questa è la situazione ideale.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore Chiamante Chiamato1Chiamato2Chiamato3 La spina del modulo Chiamante NON può collegarsi anche con la presa della funzione Chiamato2...

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore Chiamante Chiamato1Chiamato2Chiamato3... infatti il modulo Chiamante NON passa il quarto argomento atteso dalla funzione Chiamato2.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore Chiamante Chiamato1Chiamato2Chiamato3 Il richiamo dal modulo Chiamante alla funzione esterna Chiamato2 non è un richiamo sicuro Chiamante

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore Chiamante Chiamato1Chiamato2Chiamato3 La spina del modulo Chiamante NON può collegarsi anche con la presa della funzione Chiamato3...

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore Chiamante Chiamato1Chiamato2Chiamato3... infatti il secondo argomento passato dal modulo Chiamante NON è dello stesso tipo del secondo argomento atteso dalla funzione Chiamato3.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore Chiamante Chiamato1Chiamato2Chiamato3 Il richiamo dal modulo Chiamante alla funzione esterna Chiamato3 non è un richiamo sicuro Chiamante

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore Riepilogo: In questa discussione abbiamo visto che: 1.Il linguaggio C++ verifica il tipo degli argomenti passati ad una funzione. 2.Il programmatore non deve più controllare manualmente che la quantità di argomenti e i loro tipi nel modulo Chiamante e nella funzione Chiamato1 siano uguali: ci pensa il compilatore. 3.Il linguaggio C++ permette di creare tipi di argomenti del programmatore per sfruttare la verifica del tipo degli argomenti. 4.È sicura solamente lelaborazione dove la quantità di argomenti è uguale ed i tipi degli argomenti sono uguali o compatibili nel Chiamante e nel Chiamato1. 5.I casi particolari (es.: moduli generalizzati, quantità di argomenti variabili) possono essere risolti mediante costruzioni del linguaggio C++ che non evitano il controllo dei tipi degli argomenti (es.: gerarchia tipi-sottotipi, contenitori).

Introduzione al linguaggio C++ Mancanza di modello delle funzioni esterne

Introduzione al linguaggio C++ Mancanza di modello delle funzioni esterne 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE WORKING-STORAGE SECTION REQ-AREA REQ-MAX PIC S9(9) VALUE +10 COMP. 6 * Quantity of foreseen iteration requests REQ-LIM PIC S9(9) VALUE ZERO COMP. 8 * Quantity of iteration requests in use REQ-IND PIC S9(9) VALUE ZERO COMP. 10 * Index to the current iteration request. Questo è un esempio di dichiarazione di aree nel modulo CHIAMANTE scritto in linguaggio COBOL.

Introduzione al linguaggio C++ Mancanza di modello delle funzioni esterne 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE WORKING-STORAGE SECTION REQ-AREA REQ-MAX PIC S9(9) VALUE +10 COMP. 6 * Quantity of foreseen iteration requests REQ-LIM PIC S9(9) VALUE ZERO COMP. 8 * Quantity of iteration requests in use REQ-IND PIC S9(9) VALUE ZERO COMP. 10 * Index to the current iteration request. Queste clausole specificano i tipi di dati delle aree...

Introduzione al linguaggio C++ Mancanza di modello delle funzioni esterne 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE WORKING-STORAGE SECTION REQ-AREA REQ-MAX PIC S9(9) VALUE +10 COMP. 6 * Quantity of foreseen iteration requests REQ-LIM PIC S9(9) VALUE ZERO COMP. 8 * Quantity of iteration requests in use REQ-IND PIC S9(9) VALUE ZERO COMP. 10 * Index to the current iteration request.... che hanno questi nomi (definiti dal programmatore).

Introduzione al linguaggio C++ Mancanza di modello delle funzioni esterne 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE CALL CHIAMATO USING REQ-MAX, 4 REQ-LIM, 5 REQ-IND Se passiamo le tre aree definite nel modulo CHIAMANTE come argomenti ad una funzione esterna CHIAMATO...

Introduzione al linguaggio C++ Mancanza di modello delle funzioni esterne 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMATO LINKAGE SECTION ZZ-REQ-MAX PIC S9(9) COMP ZZ-REQ-LIM PIC S9(9) COMP ZZ-REQ-IND PIC S9(9) COMP. 7 PROCEDURE DIVISION USING ZZ-REQ-MAX, 8 ZZ-REQ-LIM, 9 ZZ-REQ-IND è il programmatore che deve manualmente verificare che in CHIAMATO lordine di definizione degli argomenti ricevuti

Introduzione al linguaggio C++ Mancanza di modello delle funzioni esterne 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE CALL CHIAMATO USING REQ-MAX, 4 REQ-LIM, 5 REQ-IND corrisponda a quello della chiamata a funzione esterna nel modulo CHIAMANTE

Introduzione al linguaggio C++ Mancanza di modello delle funzioni esterne 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMATO LINKAGE SECTION ZZ-REQ-MAX PIC S9(9) COMP ZZ-REQ-LIM PIC S9(9) COMP ZZ-REQ-IND PIC S9(9) COMP. 7 PROCEDURE DIVISION USING ZZ-REQ-MAX, 8 ZZ-REQ-LIM, 9 ZZ-REQ-IND È il programmatore che deve manualmente verificare che in CHIAMATO i tipi degli argomenti...

Introduzione al linguaggio C++ Mancanza di modello delle funzioni esterne 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE WORKING-STORAGE SECTION REQ-AREA REQ-MAX PIC S9(9) VALUE +10 COMP. 6 * Quantity of foreseen iteration requests REQ-LIM PIC S9(9) VALUE ZERO COMP. 8 * Quantity of iteration requests in use REQ-IND PIC S9(9) VALUE ZERO COMP. 10 * Index to the current iteration request.... corrispondano a quelli passati dal modulo CHIAMANTE.

Introduzione al linguaggio C++ Mancanza di modello delle funzioni esterne 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMATO LINKAGE SECTION ZZ-REQ-MAX PIC S9(9) COMP ZZ-REQ-LIM PIC S9(9) COMP ZZ-REQ-IND PIC S9(9) COMP. 7 PROCEDURE DIVISION USING ZZ-REQ-MAX, 8 ZZ-REQ-LIM, 9 ZZ-REQ-IND Problema: La quantità e lordine degli argomenti della funzione esterna CHIAMATO ed il loro tipo NON sono sintetizzati in un modello di funzione...

Introduzione al linguaggio C++ Mancanza di modello delle funzioni esterne 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE CALL CHIAMATO USING REQ-MAX, 4 REQ-LIM, 5 REQ-IND che sia disponibile durante la compilazione del modulo CHIAMANTE e che permetta al compilatore di verificare automaticamente che la quantità e lordine degli argomenti passati da CHIAMANTE a CHIAMATO

Introduzione al linguaggio C++ Mancanza di modello delle funzioni esterne 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE WORKING-STORAGE SECTION REQ-AREA REQ-MAX PIC S9(9) VALUE +10 COMP. 6 * Quantity of foreseen iteration requests REQ-LIM PIC S9(9) VALUE ZERO COMP. 8 * Quantity of iteration requests in use REQ-IND PIC S9(9) VALUE ZERO COMP. 10 * Index to the current iteration request.... ed i loro tipi corrispondano.

Introduzione al linguaggio C++ Mancanza di modello delle funzioni esterne Riepilogo: In questa discussione abbiamo visto che: 1.Il linguaggio COBOL non verifica durante la compilazione il tipo degli argomenti passati ad una funzione, poiché le funzioni esterne non hanno un modello. 2.Il programmatore deve controllare manualmente che la quantità di argomenti nel richiamo alla funzione CHIAMANTE1 nel modulo CHIAMANTE e nella lista di argomenti di CHIAMANTE1 siano uguali. 3.Il programmatore deve controllare manualmente che i tipi degli argomenti nel modulo CHIAMANTE e nel modulo CHIAMATO1 siano uguali.

Introduzione al linguaggio C++ Inconvenienti della mancanza di modello

Introduzione al linguaggio C++ Omissione di un argomento Errore Nr. 1 Omissione di un argomento

Introduzione al linguaggio C++ Omissione di un argomento 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE CALL CHIAMATO USING REQ-LIM, 4 REQ-IND Se per errore il programmatore omette REQ-MAX nel richiamo a CHIAMATO...

Introduzione al linguaggio C++ Omissione di un argomento 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMATO LINKAGE SECTION ZZ-REQ-MAX PIC S9(9) COMP ZZ-REQ-LIM PIC S9(9) COMP ZZ-REQ-IND PIC S9(9) COMP. 7 PROCEDURE DIVISION USING ZZ-REQ-MAX, 8 ZZ-REQ-LIM, 9 ZZ-REQ-IND sarebbe comodo che il compilatore confrontasse il richiamo (in CHIAMANTE ) con il modello di CHIAMATO e ci avvertisse dellomissione dellargomento.

Introduzione al linguaggio C++ Omissione di un argomento 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE CALL CHIAMATO USING REQ-LIM, 4 REQ-IND Problema: Il compilatore non può segnalarci lerrore poiché CHIAMANTE non conosce il modello di CHIAMATO.

Introduzione al linguaggio C++ Omissione di un argomento Riepilogo: In questa discussione abbiamo visto che: 1.Il linguaggio COBOL non identifica durante la compilazione lomissione di un argomento che deve essere passato ad una funzione, poiché le funzioni esterne non hanno un modello. 2.Il programmatore deve controllare manualmente nel modulo CHIAMANTE che la quantità di argomenti nel richiamo alla funzione CHIAMATO1 sia uguale a quelli attesi dalla funzione CHIAMATO1.

Introduzione al linguaggio C++ Inversione di due argomenti Errore Nr. 2 Inversione di due argomenti

Introduzione al linguaggio C++ Inversione di due argomenti 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE CALL CHIAMATO USING REQ-LIM, 4 REQ-MAX, 5 REQ-IND Se per errore il programmatore inverte REQ-MAX e REQ-LIM nel richiamo a CHIAMATO...

Introduzione al linguaggio C++ Inversione di due argomenti 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE CALL CHIAMATO USING REQ-LIM, 4 REQ-MAX, 5 REQ-IND il compilatore non può segnalarci lerrore poiché CHIAMANTE non conosce il modello di CHIAMATO.

Introduzione al linguaggio C++ Inversione di due argomenti 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMATO LINKAGE SECTION ZZ-REQ-MAX PIC S9(9) COMP ZZ-REQ-LIM PIC S9(9) COMP ZZ-REQ-IND PIC S9(9) COMP. 7 PROCEDURE DIVISION USING ZZ-REQ-MAX, 8 ZZ-REQ-LIM, 9 ZZ-REQ-IND In questo caso – anche se confrontassimo il richiamo col modello di CHIAMATO – linversione degli argomenti è ancora più difficile da rilevare poiché sono entrambi dello stesso tipo: PIC S9(9) COMP.

Introduzione al linguaggio C++ Inversione di due argomenti 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE WORKING-STORAGE SECTION REQ-AREA REQ-MAX PIC S9(9) VALUE +10 COMP. 6 * Quantity of foreseen iteration requests REQ-LIM PIC S9(9) VALUE ZERO COMP. 8 * Quantity of iteration requests in use REQ-IND PIC S9(9) VALUE ZERO COMP. 10 * Index to the current iteration request. Esaminando i nomi delle aree, notiamo che le aree rappresentano concetti diversi...

Introduzione al linguaggio C++ Inversione di due argomenti 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE WORKING-STORAGE SECTION REQ-AREA REQ-MAX PIC S9(9) VALUE +10 COMP. 6 * Quantity of foreseen iteration requests REQ-LIM PIC S9(9) VALUE ZERO COMP. 8 * Quantity of iteration requests in use REQ-IND PIC S9(9) VALUE ZERO COMP. 10 * Index to the current iteration request. REQ-MAX è un valore massimo...

Introduzione al linguaggio C++ Inversione di due argomenti 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE WORKING-STORAGE SECTION REQ-AREA REQ-MAX PIC S9(9) VALUE +10 COMP. 6 * Quantity of foreseen iteration requests REQ-LIM PIC S9(9) VALUE ZERO COMP. 8 * Quantity of iteration requests in use REQ-IND PIC S9(9) VALUE ZERO COMP. 10 * Index to the current iteration request.... mentre REQ-LIM è un valore in uso.

Introduzione al linguaggio C++ Inversione di due argomenti 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMATO LINKAGE SECTION ZZ-REQ-MAX PIC S9(9) COMP ZZ-REQ-LIM PIC S9(9) COMP ZZ-REQ-IND PIC S9(9) COMP. 7 PROCEDURE DIVISION USING ZZ-REQ-MAX, 8 ZZ-REQ-LIM, 9 ZZ-REQ-IND Sarebbe utile che il compilatore ci permettesse di distinguere fra un valore massimo e un valore in uso...

Introduzione al linguaggio C++ Inversione di due argomenti 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMATO LINKAGE SECTION ZZ-REQ-MAX PIC S9(9) COMP ZZ-REQ-LIM PIC S9(9) COMP ZZ-REQ-IND PIC S9(9) COMP. 7 PROCEDURE DIVISION USING ZZ-REQ-MAX, 8 ZZ-REQ-LIM, 9 ZZ-REQ-IND e confrontasse il richiamo (in CHIAMANTE ) con il modello di CHIAMATO e ci avvertisse dellinversione degli argomenti.

Introduzione al linguaggio C++ Inversione di due argomenti 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMATO LINKAGE SECTION ZZ-REQ-MAX PIC S9(9) COMP ZZ-REQ-LIM PIC S9(9) COMP ZZ-REQ-IND PIC S9(9) COMP. 7 PROCEDURE DIVISION USING ZZ-REQ-MAX, 8 ZZ-REQ-LIM, 9 ZZ-REQ-IND Per distinguere automaticamente ZZ-REQ-MAX e ZZ-REQ-LIM in base al tipo di dato, dovremmo potere sostituire S9(9) COMP con un tipo di dato definito dal programmatore.

Introduzione al linguaggio C++ Inversione di due argomenti 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE WORKING-STORAGE SECTION REQ-AREA REQ-MAX PIC S9(9) VALUE +10 COMP. 6 * Quantity of foreseen iteration requests REQ-LIM PIC S9(9) VALUE ZERO COMP. 8 * Quantity of iteration requests in use REQ-IND PIC S9(9) VALUE ZERO COMP. 10 * Index to the current iteration request. Problema: I possibili tipi sono già pre-definiti nel linguaggio COBOL e non è possibile creare nuovi tipi definiti dal programmatore.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore Riepilogo: In questa discussione abbiamo visto che: 1.Il linguaggio COBOL non identifica durante la compilazione linversione di due argomenti passati ad una funzione, poiché le funzioni esterne non hanno un modello. 2.Il programmatore deve controllare manualmente nel modulo CHIAMANTE che la quantità di argomenti nel richiamo alla funzione CHIAMATO1 sia uguale alla quantità attesa dalla funzione CHIAMATO1. 4.Il linguaggio COBOL non permette di creare tipi di dati del programmatore, e quindi non potrebbe comunque sfruttare la verifica del tipo degli argomenti per distinguere linversione di due argomenti che hanno lo stesso tipo – PIC S9(9) COMP – pre-definito nel linguaggio. 3.Il programmatore deve controllare manualmente che i tipi degli argomenti nel modulo CHIAMANTE e nel modulo CHIAMATO1 siano uguali.

Introduzione al linguaggio C++ Scambio di aggregato in argomento Errore Nr. 3 Scambio di aggregato in argomento

Introduzione al linguaggio C++ Scambio di aggregato in argomento 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE WORKING-STORAGE SECTION REQ-AREA REQ-MAX PIC S9(9) VALUE +10 COMP. 6 * Quantity of foreseen iteration requests REQ-LIM PIC S9(9) VALUE ZERO COMP. 8 * Quantity of iteration requests in use REQ-IND PIC S9(9) VALUE ZERO COMP. 10 * Index to the current iteration request. REQ-AREA è un aggregato di aree costruito seconde le necessità del programmatore, ma non è un nuovo tipo di dato.

Introduzione al linguaggio C++ Scambio di aggregato in argomento 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE CALL CHIAMATO USING REQ-AREA Possiamo richiamare una versione modificata di CHIAMATO passando come argomento un aggregato REQ-AREA...

Introduzione al linguaggio C++ Scambio di aggregato in argomento 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE CALL CHIAMATO USING OTHER-AREA Ma se – per errore – nel richiamo a CHIAMATO il programmatore passa laggregato OTHER-AREA al posto di REQ-AREA...

Introduzione al linguaggio C++ Scambio di aggregato in argomento 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE CALL CHIAMATO USING OTHER-AREA il compilatore non ci può avvertire...

Introduzione al linguaggio C++ Scambio di aggregato in argomento 1 IDENTIFICATION DIVISION. 2 PROGRAM-ID. CHIAMANTE WORKING-STORAGE SECTION OTHER-AREA OTHER-NAME PIC X(9) 13 VALUE FERRUCCIO OTHER-ROLE PIC X(8) 15 VALUE THE BEST.... poiché – a parte lassenza di modello – anche OTHER-AREA è un aggregato di aree come REQ-AREA.

Introduzione al linguaggio C++ Scambio di aggregato in argomento 3 WORKING-STORAGE SECTION REQ-AREA REQ-MAX PIC S9(9) VALUE +10 COMP. 6 * Quantity of foreseen iteration requests REQ-LIM PIC S9(9) VALUE ZERO COMP. 8 * Quantity of iteration requests in use REQ-IND PIC S9(9) VALUE ZERO COMP. 10 * Index to the current iteration request OTHER-AREA OTHER-NAME PIC X(9) Problema: Nel linguaggio COBOL non è possibile creare nuovi tipi di dati aggregati definiti dal programmatore, e distinguere gli aggregati in base al loro tipo.

Introduzione al linguaggio C++ Scambio di aggregato in argomento Riepilogo: In questa discussione abbiamo visto che: 1.Il linguaggio COBOL non identifica durante la compilazione la sostituzione per errore di un argomenti passato ad una funzione, poiché le funzioni esterne non hanno un modello. 2.Il programmatore deve controllare manualmente nel modulo CHIAMANTE che il formato dellargomento nel richiamo alla funzione CHIAMATO sia quello atteso dalla funzione CHIAMATO. 3.Il linguaggio COBOL non permette di creare tipi di dati aggregati del programmatore, e quindi non potrebbe comunque sfruttare la verifica del tipo degli argomenti per distinguere linversione di due argomenti che siano entrambi aggregati.

Introduzione al linguaggio C++ Presenza di modello delle funzioni

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Max, Req_Lim, Req_Ind); 11 } Questo è un esempio di dichiarazione di aree e di richiamo alla funzione Chiamato nella funzione Chiamante scritta in linguaggio C++.

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Max, Req_Lim, Req_Ind); 11 } Queste clausole specificano i tipi di dati delle aree...

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Max, Req_Lim, Req_Ind); 11 }... che hanno questi nomi (definiti dal programmatore).

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Max, Req_Lim, Req_Ind); 11 } Se passiamo le tre aree definite nella funzione Chiamante come argomenti ad una funzione Chiamato...

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Max, Req_Lim, Req_Ind); 11 }... il compilatore può automaticamente verificare che lordine di definizione degli argomenti ricevuti nel richiamo alla funzione Chiamato

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Max, Req_Lim, Req_Ind); 11 }... sia uguale a quello definito nel modello delle funzione Chiamato

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H... che è contenuto nellintestazione Chiamato.h 1 2 3

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Max, Req_Lim, Req_Ind); 11 } Il compilatore ricerca il tipo del primo argomento Req_Max...

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Max, Req_Lim, Req_Ind); 11 }... che è dichiarato nel corpo della funzione Chiamante

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Max, Req_Lim, Req_Ind); 11 }... ed è definito nellintestazione Maximum.h

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __MAXIMUM_H 2 #define __MAXIMUM_H 3 class Maximum 4 {// File: Maximum.h 5 public: 6 Maximum (void); 7 Maximum (int theMaximum); 8 Maximum (Maximum &theMaximum_Ref); 9 ~Maximum (void); 10 Maximum& operator=(Maximum &theMaximum_Ref); }; 12 #endif // __MAXIMUM_H Nellintestazione Maximum.h con la parola riservata class il programmatore definisce un nuovo tipo di dato Maximum...

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Max, Req_Lim, Req_Ind); 11 }... che può essere usato per dichiarare unarea di tipo Maximum nel corpo della funzione Chiamante...

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H... e può essere usato nellintestazione Chiamato.h per definire il tipo del primo argomento theMaximum della funzione Chiamato.

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); Nel modello della funzione Chiamato...

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); il primo argomento fittizio theMaximum... 1

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); è di tipo Maximum... 12

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); e corrisponde allargomento reale Req_Max

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); che è dichiarato nel corpo della funzione Chiamante

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); di tipo Maximum

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); Poiché largomento reale Req_Max e quello formale theMaximum appartengono allo stesso tipo di dato Maximum

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); è possibile passare Req_Max come primo argomento alla funzione Chiamato

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); Analogamente il secondo argomento reale Req_Lim passato alla funzione Chiamato...

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); è dichiarato nel corpo della funzione Chiamante

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); ed è di tipo Limit

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); proprio come il secondo argomento formale theLimit nel modello della funzione Chiamato

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Max, Req_Lim, Req_Ind); 11 } Il tipo di dato del programmatore Limit è definito nellintestazione Limit.h...

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __LIMIT_H 2 #define __LIMIT_H 3 class Limit 4 {// File: Limit.h 5 public: 6 Limit (void); 7 Limit (int theLimit); 8 Limit (Limit &theLimit_Ref); 9 ~Limit (void); 10 Limit& operator=(Limit &theLimit_Ref); }; 12 #endif // __LIMIT_H... con la parola riservata class seguita dal nome del nuovo tipo di dato Limit.

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); Poiché largomento reale Req_Lim e quello formale theLimit appartengono allo stesso tipo di dato Limit

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); è possibile passare Req_Lim come secondo argomento alla funzione Chiamato

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); Analogamente il terzo argomento reale Req_Ind passato alla funzione Chiamato...

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); è dichiarato nel corpo della funzione Chiamante

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); ed è di tipo Index

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); proprio come il terzo argomento formale theIndex nel modello della funzione Chiamato

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Max, Req_Lim, Req_Ind); 11 } Il tipo di dato del programmatore Index è definito nellintestazione Index.h...

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __INDEX_H 2 #define __INDEX_H 3 class Index 4 {// File: Index.h 5 public: 6 Index (void); 7 Index (int theIndex); 8 Index (Limit &theIndex_Ref); 9 ~Index (void); 10 Index& operator=(Index &theIndex_Ref); }; 12 #endif // __INDEX_H... con la parola riservata class seguita dal nome del nuovo tipo di dato Index.

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); Poiché largomento reale Req_Ind e quello formale theIndex appartengono allo stesso tipo di dato Index

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); è possibile passare Req_Ind come terzo argomento alla funzione Chiamato

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __MAXIMUM_H 2 #define __MAXIMUM_H 3 class Maximum 4 {// File: Maximum.h 5 public: 6 Maximum (void); 7 Maximum (int theMaximum); 8 Maximum (Maximum &theMaximum_Ref); 9 ~Maximum (void); 10 Maximum& operator=(Maximum &theMaximum_Ref); }; 12 #endif // __MAXIMUM_H Nellintestazione Maximum.h con la parola riservata class il programmatore definisce la forma del primo dente. Chiamante Chiamato

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __LIMIT_H 2 #define __LIMIT_H 3 class Limit 4 {// File: Limit.h 5 public: 6 Limit (void); 7 Limit (int theLimit); 8 Limit (Limit &theLimit_Ref); 9 ~Limit (void); 10 Limit& operator=(Limit &theLimit_Ref); }; 12 #endif // __LIMIT_H Nellintestazione Limit.h con la parola riservata class il programmatore definisce la forma del secondo dente. Chiamante Chiamato

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __INDEX_H 2 #define __INDEX_H 3 class Index 4 {// File: Index.h 5 public: 6 Index (void); 7 Index (int theIndex); 8 Index (Limit &theIndex_Ref); 9 ~Index (void); 10 Index& operator=(Index &theIndex_Ref); }; 12 #endif // __INDEX_H Nellintestazione Index.h con la parola riservata class il programmatore definisce la forma del terzo dente. Chiamante Chiamato

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Max, Req_Lim, Req_Ind); 11 } Lordine dei tre argomenti nel richiamo a Chiamato definisce lordine dei denti nella spina Chiamante. Chiamante Chiamato

Introduzione al linguaggio C++ Presenza di modello delle funzioni 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Lordine dei tre argomenti nel modello della funzione Chiamato definisce lordine dei denti nella presa Chiamato. Chiamante Chiamato

Introduzione al linguaggio C++ Presenza di modello delle funzioni void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); Maximum Req_Max(10); // Qty foreseen requests 9 Limit Req_Lim; // Qty requests in use 10 Index Req_Ind; // Index to curr. request 11 Chiamato (Req_Max, Req_Lim, Req_Ind); Le forme della spina Chiamante e della presa Chiamato corrispondono esattamente. Chiamante Chiamato

Introduzione al linguaggio C++ Omissione di un argomento Errore Nr. 1 Omissione di un argomento

Introduzione al linguaggio C++ Omissione di un argomento 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Lim, Req_Ind); 11 } Il compilatore può automaticamente verificare che la quantità degli argomenti ricevuti nel richiamo alla funzione Chiamato... 12

Introduzione al linguaggio C++ Omissione di un argomento 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H... non corrisponde nellintestazione Chiamato.h alla quantità di argomenti definiti nel modello della funzione Chiamato

Introduzione al linguaggio C++ Inversione di due argomenti Errore Nr. 2 Inversione di due argomenti

Introduzione al linguaggio C++ Inversione di due argomenti 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Lim, Req_Max, Req_Ind); 11 } Se per errore il programmatore inverte Req_Max e Req_Lim nel richiamo a Chiamato... ABC

Introduzione al linguaggio C++ Inversione di due argomenti 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H... il compilatore può automaticamente verificare che i tipi del primo e del secondo argomento ricevuti nel richiamo alla funzione Chiamato non corrispondono nellintestazione Chiamato.h ai tipi degli argomenti definiti nel modello della funzione Chiamato. A B C

Introduzione al linguaggio C++ Scambio di aggregato in argomento Errore Nr. 3 Scambio di aggregato in argomento

Introduzione al linguaggio C++ Scambio di aggregato in argomento 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Lim, Req_Max, Req_Ind); 11 } Poiché il compilatore C++ distingue fra i tipi degli aggregati lerrore Nr. 3 viene riconosciuto esattamente come lerrore Nr. 2. ABC

Introduzione al linguaggio C++ Scambio di aggregato in argomento 1 #ifndef __CHIAMATO_H 2 // File: Chiamato.h 3 #define __CHIAMATO_H 4 void Chiamato (Maximum theMaximum 5,Limit theLimit 6,Index theIndex); 7 #endif // __CHIAMATO_H Il compilatore può automaticamente verificare se i tipi degli argomenti ricevuti nel richiamo alla funzione Chiamato corrispondono nellintestazione Chiamato.h ai tipi degli argomenti definiti nel modello della funzione Chiamato. A B C

Introduzione al linguaggio C++ Componenti di un dato del programmatore

Introduzione al linguaggio C++ Componenti di un dato del programmatore Ci sono alcuni componenti di servizio che compaiono frequentemente nei tipi di dati definito dal programmatore. Inizializzazione minima Inizializzazioni migliori Dato_del_programmatore Inizializzazione per copia Rilascio risorse impegnate Assegnazione Copia (ad uso privato) Rilascio (ad uso privato)

Introduzione al linguaggio C++ Componenti di un dato del programmatore Il metodo di inizializzazione minima ci permette di costruire un dato valido del tipo definito dal programmatore senza conoscere alcun valore. Inizializzazione minima Inizializzazioni migliori Dato_del_programmatore Inizializzazione per copia Rilascio risorse impegnate Assegnazione Copia (ad uso privato) Rilascio (ad uso privato) 1

Introduzione al linguaggio C++ Componenti di un dato del programmatore I metodi di inizializzazione migliori ci permettono di costruire un dato del tipo definito dal programmatore partendo da valori in argomento. Inizializzazione minima Inizializzazioni migliori Dato_del_programmatore Inizializzazione per copia Rilascio risorse impegnate Assegnazione Copia (ad uso privato) Rilascio (ad uso privato) 2

Introduzione al linguaggio C++ Componenti di un dato del programmatore Il metodo di inizializzazione per copia ci permette di passare un dato ad una funzione e di farcelo restituire da una funzione. Inizializzazione minima Inizializzazioni migliori Dato_del_programmatore Inizializzazione per copia Rilascio risorse impegnate Assegnazione Copia (ad uso privato) Rilascio (ad uso privato) 3

Introduzione al linguaggio C++ Componenti di un dato del programmatore Il metodo di rilascio delle risorse permette di liberare le aree occupate dal tipo di dato e di rilasciare le risorse impegnate dai metodi di inizializzazione. Inizializzazione minima Inizializzazioni migliori Dato_del_programmatore Inizializzazione per copia Rilascio risorse impegnate Assegnazione Copia (ad uso privato) Rilascio (ad uso privato) 4

Introduzione al linguaggio C++ Componenti di un dato del programmatore Il metodo di assegnazione permette di assegnare un dato del tipo definito dal programmatore ad un altro dato dello stesso tipo. Inizializzazione minima Inizializzazioni migliori Dato_del_programmatore Inizializzazione per copia Rilascio risorse impegnate Assegnazione Copia (ad uso privato) Rilascio (ad uso privato) 5

Introduzione al linguaggio C++ Componenti di un dato del programmatore Un metodo di copia (ad uso interno) viene richiamato dal metodo di inizializzazione per copia e dal metodo di assegnazione. Inizializzazione minima Inizializzazioni migliori Dato_del_programmatore Inizializzazione per copia Rilascio risorse impegnate Assegnazione Copia (ad uso privato) Rilascio (ad uso privato) 6

Introduzione al linguaggio C++ Componenti di un dato del programmatore Un metodo di rilascio (ad uso interno) viene richiamato dal metodo (pubblico) di rilascio delle risorse impegnate e dal metodo di assegnazione. Inizializzazione minima Inizializzazioni migliori Dato_del_programmatore Inizializzazione per copia Rilascio risorse impegnate Assegnazione Copia (ad uso privato) Rilascio (ad uso privato) 7

Introduzione al linguaggio C++ Inizializzazione minima

Introduzione al linguaggio C++ Inizializzazione minima Il metodo di inizializzazione minima ci permette di costruire un dato valido del tipo definito dal programmatore senza conoscere alcun valore. Inizializzazione minima Inizializzazioni migliori Dato_del_programmatore Inizializzazione per copia Rilascio risorse impegnate Assegnazione Copia (ad uso privato) Rilascio (ad uso privato) 1

Introduzione al linguaggio C++ Inizializzazione minima 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Max, Req_Lim, Req_Ind); 11 } Questo è un esempio di dichiarazione minima di un dato Req_Lim di tipo Limit (definito dal programmatore)...

Introduzione al linguaggio C++ Inizializzazione minima 1 #ifndef __LIMIT_H 2 #define __LIMIT_H 3 class Limit 4 {// File: Limit.h 5 public: 6 Limit (void); 7 Limit (int theLimit); 8 Limit (Limit &theLimit_Ref); 9 ~Limit (void); 10 Limit& operator=(Limit &theLimit_Ref); }; 12 #endif // __LIMIT_H... e questo è il metodo che viene richiamato per inizializzare il dato di tipo Limit.

Introduzione al linguaggio C++ Inizializzazione minima 1 #ifndef __LIMIT_H 2 #define __LIMIT_H 3 class Limit 4 {// File: Limit.h 5 public: 6 Limit (void); 7 Limit (int theLimit); 8 Limit (Limit &theLimit_Ref); 9 ~Limit (void); 10 Limit& operator=(Limit &theLimit_Ref); }; 12 #endif // __LIMIT_H Poiché non partiamo da argomenti di nessun tipo non possiamo che inizializzare il dato con valori minimi validi.

Introduzione al linguaggio C++ Inizializzazioni migliori

Introduzione al linguaggio C++ Inizializzazioni migliori I metodi di inizializzazione migliori ci permettono di costruire un dato del tipo definito dal programmatore partendo da valori in argomento. Inizializzazione minima Inizializzazioni migliori Dato_del_programmatore Inizializzazione per copia Rilascio risorse impegnate Assegnazione Copia (ad uso privato) Rilascio (ad uso privato) 2

Introduzione al linguaggio C++ Inizializzazioni migliori 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Max, Req_Lim, Req_Ind); 11 } Questo è un esempio di dichiarazione migliore di un dato Req_Max di tipo Maximum (definito dal programmatore)...

Introduzione al linguaggio C++ Inizializzazioni migliori 1 #ifndef __MAXIMUM_H 2 #define __MAXIMUM_H 3 class Maximum 4 {// File: Maximum.h 5 public: 6 Maximum (void); 7 Maximum (int theMaximum); 8 Maximum (Limit &theMaximum_Ref); 9 ~Maximum (void); 10 Maximum& operator=(Maximum &theMaximum_Ref); }; 12 #endif // __MAXIMUM_H... e questo è il metodo che viene richiamato per inizializzare il dato di tipo Maximum.

Introduzione al linguaggio C++ Inizializzazione per copia

Introduzione al linguaggio C++ Inizializzazione per copia Il metodo di inizializzazione per copia ci permette di passare un dato ad una funzione e di farcelo restituire da una funzione. Inizializzazione minima Inizializzazioni migliori Dato_del_programmatore Inizializzazione per copia Rilascio risorse impegnate Assegnazione Copia (ad uso privato) Rilascio (ad uso privato) 3

Introduzione al linguaggio C++ Inizializzazione per copia 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Max, Req_Lim, Req_Ind); 11 } Questo è un esempio di passaggio di un dato Req_Max di tipo Maximum (definito dal programmatore) in argomento alla funzione Chiamato.

Introduzione al linguaggio C++ Inizializzazione per copia 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Max, Req_Lim, Req_Ind); 11 } Il compilatore richiama automaticamente il metodo di inizializzazione per copia specifico per il tipo di dato Maximum per creare largomento da passare alla funzione Chiamato.

Introduzione al linguaggio C++ Inizializzazione per copia 1 #ifndef __MAXIMUM_H 2 #define __MAXIMUM_H 3 class Maximum 4 {// File: Maximum.h 5 public: 6 Maximum (void); 7 Maximum (int theMaximum); 8 Maximum (Maximum &theMaximum_Ref); 9 ~Maximum (void); 10 Maximum& operator=(Maximum &theMaximum_Ref); }; 12 #endif // __MAXIMUM_H Questo è il metodo che inizializza la copia del dato di tipo Maximum che viene passata in argomento alla funzione Chiamato.

Introduzione al linguaggio C++ Inizializzazione per copia 1 #ifndef __MAXIMUM_H 2 #define __MAXIMUM_H 3 class Maximum 4 {// File: Maximum.h 5 public: 6 Maximum (void); 7 Maximum (int theMaximum); 8 Maximum (Maximum &theMaximum_Ref); 9 ~Maximum (void); 10 Maximum& operator=(Maximum &theMaximum_Ref); }; 12 #endif // __MAXIMUM_H Solamente un metodo del tipo di dato Maximum può costruire una copia sicura di un dato del suo tipo.

Introduzione al linguaggio C++ Rilascio risorse impegnate

Introduzione al linguaggio C++ Rilascio risorse impegnate Il metodo di rilascio delle risorse permette di liberare le aree occupate dal tipo di dato e di rilasciare le risorse impegnate dai metodi di inizializzazione. Inizializzazione minima Inizializzazioni migliori Dato_del_programmatore Inizializzazione per copia Rilascio risorse impegnate Assegnazione Copia (ad uso privato) Rilascio (ad uso privato) 4

Introduzione al linguaggio C++ Rilascio risorse impegnate 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Max, Req_Lim, Req_Ind); 11 } Quando viene raggiunta la chiusa graffa } il dato Req_Max di tipo Maximum esce dal suo ambito di visibilità e viene automaticamente distrutto dal compilatore.

Introduzione al linguaggio C++ Rilascio risorse impegnate 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Max, Req_Lim, Req_Ind); 11 } Prima di rilasciare le aree occupate dal tipo di dato definito dal programmatore, il compilatore richiama il metodo di rilascio delle risorse dello specifico tipo di dato.

Introduzione al linguaggio C++ Rilascio risorse impegnate 1 #ifndef __MAXIMUM_H 2 #define __MAXIMUM_H 3 class Maximum 4 {// File: Maximum.h 5 public: 6 Maximum (void); 7 Maximum (int theMaximum); 8 Maximum (Maximum &theMaximum_Ref); 9 ~Maximum (void); 10 Maximum& operator=(Maximum &theMaximum_Ref); }; 12 #endif // __MAXIMUM_H Questo è il metodo che rilascia le risorse impegnate dai metodi di inizializzazione dei dati di tipo Maximum.

Introduzione al linguaggio C++ Rilascio risorse impegnate 1 #ifndef __MAXIMUM_H 2 #define __MAXIMUM_H 3 class Maximum 4 {// File: Maximum.h 5 public: 6 Maximum (void); 7 Maximum (int theMaximum); 8 Maximum (Maximum &theMaximum_Ref); 9 ~Maximum (void); 10 Maximum& operator=(Maximum &theMaximum_Ref); }; 12 #endif // __MAXIMUM_H Solamente un metodo del tipo di dato Maximum può rilasciare correttamente le risorse impegnate dai suoi metodi di inizializzazione.

Introduzione al linguaggio C++ Rilascio risorse impegnate 1 #ifndef __MAXIMUM_H 2 #define __MAXIMUM_H 3 class Maximum 4 {// File: Maximum.h 5 public: 6 Maximum (void); 7 Maximum (int theMaximum); 8 Maximum (Maximum &theMaximum_Ref); 9 ~Maximum (void); 10 Maximum& operator=(Maximum &theMaximum_Ref); }; 12 #endif // __MAXIMUM_H Per ogni tipo di dato definito dal programmatore il metodo di rilascio è unico.

Introduzione al linguaggio C++ Rilascio risorse impegnate 1 #ifndef __MAXIMUM_H 2 #define __MAXIMUM_H 3 class Maximum 4 {// File: Maximum.h 5 public: 6 Maximum (void); 7 Maximum (int theMaximum); 8 Maximum (Maximum &theMaximum_Ref); 9 ~Maximum (void); 10 Maximum& operator=(Maximum &theMaximum_Ref); }; 12 #endif // __MAXIMUM_H Ogni metodo di inizializzazione deve annotare quali risorse ha impegnato perché lunico metodo di rilascio le possa correttamente rilasciare.

Introduzione al linguaggio C++ Rilascio risorse impegnate 1 #include Chiamato.h 2 #include Maximum.h 3 #include Limit.h 4 #include Index.h 5 void Chiamante (void) 6 { 7 Maximum Req_Max(10); // Qty foreseen requests 8 Limit Req_Lim; // Qty requests in use 9 Index Req_Ind; // Index to curr. request 10 Chiamato (Req_Max, Req_Lim, Req_Ind); 11 } Dopo avere richiamato il metodo di rilascio delle risorse dello specifico tipo di dato, il compilatore rilasciare le aree occupate dal tipo di dato definito dal programmatore.

Introduzione al linguaggio C++ Assegnazione

Introduzione al linguaggio C++ Assegnazione Il metodo di assegnazione permette di assegnare un dato del tipo definito dal programmatore ad un altro dato dello stesso tipo. Inizializzazione minima Inizializzazioni migliori Dato_del_programmatore Inizializzazione per copia Rilascio risorse impegnate Assegnazione Copia (ad uso privato) Rilascio (ad uso privato) 5

Introduzione al linguaggio C++ Assegnazione 1 #include Maximum.h 2 void Calcolo (void) 3 { 4 Maximum Req_Max(10); // Qty foreseen requests 5 Maximum Temp_Max; // Temporary area 6 Temp_Max = Req_Max; } Il programmatore dichiara un dato Req_Max di tipo Maximum e lo inizializza con il valore 10.

Introduzione al linguaggio C++ Assegnazione 1 #include Maximum.h 2 void Calcolo (void) 3 { 4 Maximum Req_Max(10); // Qty foreseen requests 5 Maximum Temp_Max; // Temporary area 6 Temp_Max = Req_Max; } Il programmatore dichiara un dato temporaneo Temp_Max di tipo Maximum e lo inizializza al minimo.

Introduzione al linguaggio C++ Assegnazione 1 #include Maximum.h 2 void Calcolo (void) 3 { 4 Maximum Req_Max(10); // Qty foreseen requests 5 Maximum Temp_Max; // Temporary area 6 Temp_Max = Req_Max; } Il valore di Req_Max è assegnato a Temp_Max, dato dello stesso tipo (definito dal programmatore).

Introduzione al linguaggio C++ Assegnazione 1 #include Maximum.h 2 void Calcolo (void) 3 { 4 Maximum Req_Max(10); // Qty foreseen requests 5 Maximum Temp_Max; // Temporary area 6 Temp_Max = Req_Max; } Quando viene raggiunta la chiusa graffa } i dati Req_Max e Temp_Max di tipo Maximum escono dal loro ambito di visibilità e vengono automaticamente distrutti dal compilatore.

Introduzione al linguaggio C++ Assegnazione 1 #include Maximum.h 2 void Calcolo (void) 3 { 4 Maximum Req_Max(10); // Qty foreseen requests 5 Maximum Temp_Max; // Temporary area 6 Temp_Max = Req_Max; } Se lassegnazione specifica del tipo di dato Maximum non è corretta lapplicazione può terminare anormalmente.

Introduzione al linguaggio C++ Assegnazione Se i metodi di inizializzazione riservano dinamicamente aree esterne al dato e poi vi accedono mediante puntatori è necessario duplicare le aree esterne nel metodo di assegnazione specifico del tipo di dato definito dal programmatore... operator= Req_Max ~Maximum Value_Ptr Value operator= Temp_Max ~Maximum Value_Ptr Value

Introduzione al linguaggio C++ Assegnazione... per evitare di creare involontariamente due puntamenti ad una stessa area esterna. operator= Req_Max ~Maximum Value_Ptr Value operator= Temp_Max ~Maximum Value_Ptr

Introduzione al linguaggio C++ Assegnazione Dopo il richiamo al metodo di rilascio delle risorse di Temp_Max le aree esterne di Temp_Max sono state rilasciate... operator= Req_Max ~Maximum Value_Ptr operator= Temp_Max ~Maximum Value_Ptr

Introduzione al linguaggio C++ Assegnazione... e se erano condivise con Req_Max, ora Req_Max può trovarsi con un puntatore ad unarea esterna non più valida. operator= Req_Max ~Maximum Value_Ptr operator= Temp_Max ~Maximum Value_Ptr

Introduzione al linguaggio C++ Assegnazione Il tentativo di rilasciare le aree di Req_Max può causare la fine anomala dellapplicazione. operator= Req_Max ~Maximum Value_Ptr operator= Temp_Max ~Maximum Value_Ptr

Introduzione al linguaggio C++ Assegnazione 1 #ifndef __MAXIMUM_H 2 #define __MAXIMUM_H 3 class Maximum 4 {// File: Maximum.h 5 public: 6 Maximum (void); 7 Maximum (int theMaximum); 8 Maximum (Maximum &theMaximum_Ref); 9 ~Maximum (void); 10 Maximum& operator=(Maximum &theMaximum_Ref); }; 12 #endif // __MAXIMUM_H Questo è il metodo che assegna un dato di tipo Maximum ad un altro dato dello stesso tipo.

Introduzione al linguaggio C++ Assegnazione Origine = Destinazione Rilascio risorse della destinazione Copia risorse dellorigine sulla destinazione Fine Sì No Il metodo di assegnazione dei tipi di dati definiti dal programmatore è generalmente composto da tre passi.

Introduzione al linguaggio C++ Assegnazione Origine = Destinazione Rilascio risorse della destinazione Copia risorse dellorigine sulla destinazione Sì No Fine Primo passo: Verifica che il dato non si auto-distrugga assegnandosi a se stesso.

Introduzione al linguaggio C++ Assegnazione Origine = Destinazione Rilascio risorse della destinazione Copia risorse dellorigine sulla destinazione Sì No Fine Secondo passo: Rilascio delle risorse riservate dinamicamente dai metodi di inizializzazione della destinazione.

Introduzione al linguaggio C++ Assegnazione Origine = Destinazione Rilascio risorse della destinazione Copia risorse dellorigine sulla destinazione Sì No Fine Terzo passo: Creazione di una copia delle risorse riservate dinamicamente dai metodi di inizializzazione dellorigine e loro attribuzione alla destinazione.

Introduzione al linguaggio C++ Assegnazione Riepilogo: In questa discussione abbiamo visto che: 1.Quando il programmatore definisce un suo tipo di dato deve spiegare al compilatore cosa significa assegnare un dato del nuovo tipo ad un dato dello stesso tipo. 2.Il metodo operator= spiega al compilatore come assegnare un dato di tipo definito dal programmatore ad un altro dato dello stesso tipo. 4.Il metodo di assegnazione dei tipi di dati definiti dal programmatore è generalmente composto da tre passi: verifica di non auto-distruzione; rilascio (ad uso privato) delle risorse della destinazione; copia (ad uso privato) delle risorse dellorigine. 5.Quando i metodi di inizializzazione NON richiedono dinamicamente risorse esterne, il metodo di assegnazione descritto in questa discussione è facoltativo, ma per maggior chiarezza si consiglia di costruirne comunque una versione anche se vuota. 3.Per ogni tipo di dato definito dal programmatore cè un metodo operator= specifico per quel tipo di dato.

Introduzione al linguaggio C++ Autodistruzione

Introduzione al linguaggio C++ Autodistruzione 1 #include Maximum.h 2 void Calcolo (void) 3 { 4 Maximum Req_Max(10); // Qty foreseen requests 5 Maximum Temp_Max; // Temporary area 6 Req_Max = Req_Max; } Problema: Cosa succede se per errore assegnamo Req_Max a se stesso?

Introduzione al linguaggio C++ Autodistruzione Assegnazione Origine = Destinazione Rilascio risorse della destinazione Copia risorse dellorigine sulla destinazione Sì No Fine Primo passo: Verifica che il dato non si auto-distrugga assegnandosi a se stesso. Cosa succederebbe se il metodo di assegnazione non contenesse il primo passo di verifica?

Introduzione al linguaggio C++ Autodistruzione Assegnazione Origine = Destinazione Rilascio risorse della destinazione Copia risorse dellorigine sulla destinazione Sì No Fine Secondo passo: Rilascio delle risorse riservate dinamicamente dai metodi di inizializzazione della destinazione. Senza il primo passo di verifica, il secondo passo rilascia le risorse riservate dinamicamante...

Introduzione al linguaggio C++ Autodistruzione Assegnazione Origine = Destinazione Rilascio risorse della destinazione Copia risorse dellorigine sulla destinazione Sì No Fine Terzo passo: Creazione di una copia delle risorse riservate dinamicamente dai metodi di inizializzazione dellorigine e loro attribuzione alla destinazione.... ed il terzo passo cerca di copiare risorse che sono appena state rilasciate. Risultato...

Introduzione al linguaggio C++ Autodistruzione Assegnazione Origine = Destinazione Rilascio risorse della destinazione Copia risorse dellorigine sulla destinazione Sì No Fine Terzo passo: Creazione di una copia delle risorse riservate dinamicamente dai metodi di inizializzazione dellorigine e loro attribuzione alla destinazione.

Introduzione al linguaggio C++ Copia (ad uso privato)

Introduzione al linguaggio C++ Copia (ad uso privato) Un metodo di copia (ad uso interno) viene richiamato dal metodo di inizializzazione per copia e dal metodo di assegnazione. Inizializzazione minima Inizializzazioni migliori Dato_del_programmatore Inizializzazione per copia Rilascio risorse impegnate Assegnazione Copia (ad uso privato) Rilascio (ad uso privato) 6

Introduzione al linguaggio C++ Copia (ad uso privato) Assegnazione Origine = Destinazione Rilascio risorse della destinazione Copia risorse dellorigine sulla destinazione Sì No Fine Terzo passo: Creazione di una copia delle risorse riservate dinamicamente dai metodi di inizializzazione dellorigine e loro attribuzione alla destinazione. È il terzo passo del metodo di assegnazione.

Introduzione al linguaggio C++ Rilascio (ad uso privato)

Introduzione al linguaggio C++ Rilascio (ad uso privato) Un metodo di copia (ad uso interno) viene richiamato dal metodo di inizializzazione per copia e dal metodo di assegnazione. Inizializzazione minima Inizializzazioni migliori Dato_del_programmatore Inizializzazione per copia Rilascio risorse impegnate Assegnazione Copia (ad uso privato) Rilascio (ad uso privato) 7

Introduzione al linguaggio C++ Rilascio (ad uso privato) È il secondo passo del metodo di assegnazione. Assegnazione Origine = Destinazione Rilascio risorse della destinazione Copia risorse dellorigine sulla destinazione Sì No Fine Secondo passo: Rilascio delle risorse riservate dinamicamente dai metodi di inizializzazione della destinazione.

Introduzione al linguaggio C++ Componenti di un dato del programmatore Riepilogo: In questa discussione abbiamo visto che: 1.Ci sono alcuni componenti di servizio che compaiono frequentemente nei tipi di dati definito dal programmatore. 2.Il programmatore deve definire alcune operazioni sul tipo di dato da lui/lei definito per permettere al compilatore di gestire correttamente: il passaggio di argomenti a funzioni; la restituzione di valori da funzioni; il rilascio delle risorse riservate dinamicamente dai metodi di inizializzazione di dati creati automaticamente che escono dal loro ambito di visibilità. 3.Quando i metodi di inizializzazione richiedono dinamicamente risorse esterne i metodi di servizio descritti in questa discussione sono obbligatori. 4.Quando i metodi di inizializzazione NON richiedono dinamicamente risorse esterne, i metodi di servizio descritti in questa discussione sono facoltativi, ma per maggior chiarezza si consiglia di costruirne comunque una versione anche se vuota.

Introduzione al linguaggio C++ Costruzione di tipi di dati del programmatore Copyright © 1997 by Mario G. Montobbio All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording, or otherwise, without the prior written permission of the author. Mario G. Montobbio Permission to use, copy and distribute this publication for the purposes of research or private study without fee is hereby granted, provided that this copyright notice and this permission notice appear in all copies.