aula 3 modularização: funções e procedimentos. modularizar arte de identificar claramente que...

36
Aula 3 Modularização: funções e procedimentos

Upload: internet

Post on 17-Apr-2015

110 views

Category:

Documents


4 download

TRANSCRIPT

Page 1: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Aula 3

Modularização: funções e procedimentos

Page 2: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Modularizar

Arte de identificar claramente que módulos devem existir num sistema

SistemaModular

Sistema Integrado

Page 3: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Vantagens da modularização

Facilita detecção de erros: Simples identificar módulo responsável Reduz tempo gasto na identificação

Permite testar módulos individualmente: Reduz complexidade do teste Permite testar antes de completado o sistema

Permite fazer manutenção do sistema módulo a módulo: Reduz probabilidade de haver consequências imprevistas

Permite desenvolvimento independente dos módulos: Simplifica trabalho em equipa

Permite reutilização dos módulos desenvolvidos

Page 4: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Boa modularização

Módulos têm função única e bem definida

Módulos são coesos

Componentes internos com fortes ligações entre si

Existem poucas ligações entre os componentes internos?

Talvez se deva dividir o módulo…

Ligações entre módulos mínimas:

Existem muitas ligações entre os módulos? Talvez

devam formar um único módulo…

Page 5: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Abstracção

In this connection it might be worthwhile to point out thatthe purpose of abstraction is not to be vague, but to createa new semantic level in which one can be absolutely precise.

Edsger W. Dijkstra, “The Humble Programmer”,Communications of the ACM, 15(10), 1972.

Page 6: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Abstracção

Utilização de sistema olhando apenas para o

seu funcionamento externo

Limita quantidade de informação com que lidar Maior produtividade

Menor taxa de erros

Page 7: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Encapsulamento

Única parte visível é a interface

Mecanismo interno dos módulos encerrado

numa cápsula (caixa preta)

Protege consumidor dos seus erros

Facilita abstracção

Page 8: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Papeis do programador

Programador assume papeis distintos: Produtor

• Desenvolve mecanismo do módulo• Preocupa-se com:

• o que faz• como se usa• como funciona

Consumidor• Integra cada módulo em sistema complexo• Preocupa-se com:

• o que faz• como se usa• como funcionacomo funciona

Page 9: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Contrato

Entre produtor e consumidor

Indica como se usa

Produtor garante resultados…

…se consumidor respeitar condições de

utilização

Page 10: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Módulos em C++

Rotinas Funções

Conjunto de instruções, com interface bem

definida, que efectua um dado cálculo

Procedimentos

Conjunto de instruções, com interface bem

definida, que faz qualquer coisa

Page 11: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Resolução de problemas

Page 12: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Abordagem descendente(top down)

Análise global do problema Identificação de sub-problemas Resolução independentemente de cada

sub-problema usando a mesma abordagem Problemas e sub-problemas correspondem a rotinas

Vantagens Diminuição da informação a processar pelo programador

em cada instante Redução da complexidade dos problemas até à

trivialidade

Page 13: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Problema

Escrever programa para somar duas fracções positivas fornecidas pelo utilizador e mostrar resultado no ecrã na forma de uma fracção irredutível

6/9 + 7/3 = 3/1

Page 14: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Sub-problemas

1. Ler fracções

2. Calcular fracção soma reduzida

3. Escrever resultado

Page 15: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Em C++

#include <iostream> using namespace std;

int main() { // Ler fracções: ... // Calcular fracção soma reduzida: ... // Escrever resultado: ...}

Page 16: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Ler fracções

// Ler fracções:

cout << "Introduza duas fracções (numerador denominador): "; int n1, d1, n2, d2; cin >> n1 >> d1 >> n2 >> d2;

Page 17: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Escrever resultado

// Escrever resultado:

cout << "A soma de "; escreveFracção(n1, d1); cout << " com "; escreveFracção(n2, d2); cout << " é "; escreveFracção(?, ?); cout << '.' << endl;

Page 18: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Calcular fracção soma reduzida

// Calcular fracção soma reduzida

int n;int d;

Page 19: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Calcular fracção soma reduzida

// Calcular fracção soma reduzida

int n = d2 * n1 + d1 * n2;int d = d1 * d2;

Page 20: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Calcular fracção soma reduzida

// Calcular fracção soma reduzida

int n = d2 * n1 + d1 * n2;int d = d1 * d2;int k = mdc(n, d);n /= k;d /= k;

Page 21: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Ler fracções

// Ler fracções: cout << "Introduza duas fracções (numerador denominador): "; int n1, d1, n2, d2; cin >> n1 >> d1 >> n2 >> d2; int k = mdc(n1, d1); n1 /= k; d1 /= k; int k = mdc(n2, d2); n2 /= k; d2 /= k;

Page 22: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Ler fracções

// Ler fracções: cout << "Introduza duas fracções (numerador denominador): "; int n1, d1, n2, d2; cin >> n1 >> d1 >> n2 >> d2; int k = mdc(n1, d1); n1 /= k; d1 /= k; int k = mdc(n2, d2); n2 /= k; d2 /= k;

Page 23: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Calcular fracção soma reduzida

// Calcular fracção soma reduzida

int n = d2 * n1 + d1 * n2;int d = d1 * d2;int k = mdc(n, d);n /= k;d /= k;

Page 24: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Máximo divisor comum (I)

int m; // Inicializadasint n; // automagicamente!

int r;

if(m < n) r = m; else r = n;

while(m % r != 0 or n % r != 0) --r;

m : int

n : int

k : int

Page 25: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Máximo divisor comum (II)

int const m; // Inicializadasint const n; // automagicamente!

int r;

if(m < n) r = m; else r = n;

while(m % r != 0 or n % r != 0) --r;

m : int {frozen}

n : int {frozen}

k : int

Page 26: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Máximo divisor comum (III)

{ int const m; // Inicializadas int const n; // automagicamente!

int r;

if(m < n) r = m; else r = n;

while(m % r != 0 or n % r != 0) --r;}

Encapsular código numa caixa

Page 27: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Máximo divisor comum (IV)

mdc{ int const m; // Inicializadas int const n; // automagicamente!

int r;

if(m < n) r = m; else r = n;

while(m % r != 0 or n % r != 0) --r;}

Nome do módulo

Page 28: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Máximo divisor comum (V)

mdc(int const m, int const n){ int r;

if(m < n) r = m; else r = n;

while(m % r != 0 or n % r != 0) --r;}

Parâmetros: variáveis ou constantes especiais de entrada

Page 29: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Máximo divisor comum (VI)

mdc(int const m, int const n){ int r;

if(m < n) r = m; else r = n;

while(m % r != 0 or n % r != 0) --r;

return r;}

Retorno e devolução: regressa ao ponto onde foi invocada e devolve valor guardado em r

Page 30: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Máximo divisor comum (VII)

int mdc(int const m, int const n){ int r;

if(m < n) r = m; else r = n;

while(m % r != 0 or n % r != 0) --r;

return r;}

Devolução de valor com tipo int

Page 31: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Máximo divisor comum (VIII)

/** Devolve o máximo divisor comum dos inteiros positivos passados como argumento. @pre 0 < m e 0 < n. @post o valor r devolvido é o mdc de m e n. */ int mdc(int const m, int const n){ int r;

if(m < n) r = m; else r = n;

while(m % r != 0 or n % r != 0) --r;

return r;}

Cabeçalho: como se usa

Corpo: como funciona

Documentação: o que faz

Page 32: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Máximo divisor comum (IX)

/** Devolve o máximo divisor comum dos inteiros positivos passados como argumento. @pre 0 < m e 0 < n. @post o valor r devolvido é o mdc de m e n. */ int mdc(int const m, int const n){ assert(0 < m); assert(0 < n);

int r;

if(m < n) r = m; else r = n;

while(m % r != 0 or n % r != 0) --r;

assert(0 < r); assert(m % r == 0); assert(n % r == 0);

return r;}

Instruções de asserção (afirmação)

Page 33: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Escreve fracção

/** Escreve no ecrã uma fracção, no formato usual, que lhe é passada na forma de dois argumentos inteiros positivos. @pre nenhuma. @post o ecrã contém n/d em que n e d são os valores de n e d em base decimal. */void escreveFracção(int const n, int const d){}

Um procedimento não devolve nada: faz qualquer coisa

Page 34: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Escreve fracção

/** Escreve no ecrã uma fracção, no formato usual, que lhe é passada na forma de dois argumentos inteiros positivos. @pre nenhuma. @post o ecrã contém n/d em que n e d são os valores de n e d em base decimal. */void escreveFracção(int const n, int const d){ cout << n << ‘/’ << d;}

Page 35: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Somador de fracções

#include <iostream> using namespace std;

/** … */int mdc(int const m, int const n){ ...}

/** … */void escreveFracção(int const n, int const d){ ...}

int main() { ...}

Page 36: Aula 3 Modularização: funções e procedimentos. Modularizar Arte de identificar claramente que módulos devem existir num sistema Sistema Modular Sistema

Aula 3: Sumário

Modularização, abstracção e encapsulamento. Rotinas como unidades atómicas de modularização. Abordagem descendente. Sintaxe da definição de rotinas: cabeçalho vs. corpo. Interface e implementação. Contratos: pré-condições e condições objectivo. Instruções de asserção e programação por contrato. Parâmetros e argumentos. Instrução return. Retorno e devolução. Procedimentos: não há devolução (tipo de devolução void). Invocação de rotinas.