Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 93 vistas

    Mecanismos de Pasaje de Parametros

    Cargado por

    Jonathan Leonel Gasparrini
    Este documento describe diferentes mecanismos de pasaje de parámetros en lenguajes de programación, incluyendo por referencia, por valor, por valor-resultado, por nombre y por necesidad. Explica que el pasaje por referencia permite que los cambios en el parámetro afecten la variable fuera del procedimiento, mientras que el pasaje por valor evita esto realizando una copia. El pasaje por valor-resultado intenta obtener los beneficios de ambos mundos. El pasaje por nombre evalúa la expresión cada vez que se usa el parámetro formal. El

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Mecanismos de Pasaje de Parametros

    Cargado por

    Jonathan Leonel Gasparrini
    93 vistas13 páginas
    Este documento describe diferentes mecanismos de pasaje de parámetros en lenguajes de programación, incluyendo por referencia, por valor, por valor-resultado, por nombre y por necesidad. Explica que el pasaje por referencia permite que los cambios en el parámetro afecten la variable fuera del procedimiento, mientras que el pasaje por valor evita esto realizando una copia. El pasaje por valor-resultado intenta obtener los beneficios de ambos mundos. El pasaje por nombre evalúa la expresión cada vez que se usa el parámetro formal. El

    Descripción original:

    Mecanismos de Pasaje de Parametros

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento describe diferentes mecanismos de pasaje de parámetros en lenguajes de programación, incluyendo por referencia, por valor, por valor-resultado, por nombre y por necesidad. Explica que el pasaje por referencia permite que los cambios en el parámetro afecten la variable fuera del procedimiento, mientras que el pasaje por valor evita esto realizando una copia. El pasaje por valor-resultado intenta obtener los beneficios de ambos mundos. El pasaje por nombre evalúa la expresión cada vez que se usa el parámetro formal. El

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    93 vistas13 páginas

    Mecanismos de Pasaje de Parametros

    Cargado por

    Jonathan Leonel Gasparrini
    Este documento describe diferentes mecanismos de pasaje de parámetros en lenguajes de programación, incluyendo por referencia, por valor, por valor-resultado, por nombre y por necesidad. Explica que el pasaje por referencia permite que los cambios en el parámetro afecten la variable fuera del procedimiento, mientras que el pasaje por valor evita esto realizando una copia. El pasaje por valor-resultado intenta obtener los beneficios de ambos mundos. El pasaje por nombre evalúa la expresión cada vez que se usa el parámetro formal. El

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 13

    Mecanismo de Pasaje de

    Parametros
    Por

    referencia
    Por value
    Por valor-resultado
    Por nombre
    Por necesidad

    Llamada por referencia


    La

    identidad (direccin, si es una variable) de una


    entidad del lenguaje se pasa al procedimiento
    Este mtodo se usa en Oz
    Si es especifico a variables, se suele llamar
    Llamada por variable
    Llamada por direccion
    Llamada por posicion

    Cambion

    en el parametro forma afectan a la variabe

    afuera
    Aliasing: puede que sea dificil de razonar sobre
    programas, cuando el modelo no es declarativo

    Aliasing tambien puede ocurrir con punteros.

    Problema con Alias


    Ejemplo:

    Procedimiento Swap

    void swap(int& x, y){


    x = x + y;
    y = x - y; // y now holds the original value of x
    x = x - y; // x now holds the original value of y
    }
    swap(x,y)
    swap(x,x)

    No

    es un problem en el modelo declarativo --Por que?

    Llamada por Valor


    El

    valor de la entidad en el lenguaje se pasa al


    procedimiento
    Se implementa
    Copiando el valor
    Pasando una referencia, perosin permitir que el
    procedimiento la cambie.

    El

    mecanismo en C++, Java, Pascal


    El unico mecanismo en C y Scheme
    Copias superficiales en estructuras compuestas
    Asociado con evaluacin estricta

    Pro y Contras de
    por-referencia vs por-valor
    Modularidad
    Eficiencia

    Llamada por valor-resultado


    Intenta

    tener los beneficios de llamada por referencia


    (efectos secundarios en los argumentos) sin los
    problemas de aliasing.
    Hace una copia en los argumentos al principio, copia
    las variables locales a los argumentos actuales al
    final del procedimiento. Asi los argumentos son
    modificados.
    Se comporta como llamada por referencia sin la
    presencia de aliasing
    Cuidado: el comportamiento depende del orden en
    que las variables locales se copian.
    Usado por BBC BASIC V.

    Llamada por valor-resultado


    local A={NewCell 3}
    proc {P X Y}
    Y:=5
    X:=4
    end
    in {P A A}
    {Browse A}
    end
    El

    El cdigo no es valido en Oz,


    estamos suponiendo un lenguaje
    que soporte este pasaje de
    parmetros.

    resultado depende del orden en que las variables


    auxiliares se copian en los parametros.

    Llamada por nombre


    Los

    parametros formales son ligados a los


    argumentos actuales sin evaluar.

    La expresion se usa como los parametros.


    Con el ambiente del que llama (para evitar problemas de
    scoping)

    Los

    argumentos son evaluados cada vez que el


    paremetro formal se usa.

    declare A = 3
    proc {P X} X:=4 end
    in {P A}
    A end

    declare
    A=3
    B=4
    proc {P X}
    A:= 4
    X end
    in {P A+B}

    Call by name (3)


    Example

    using cells

    declare
    proc {Sqr A}
    {A}:=@{A} * @{A}
    end
    local C={NewCell 5}
    {Sqr fun {$} C end}
    {Browse @C}
    end

    Call by need
    Variation

    on call-by-name where evaluation of formal


    parameter is memoized after the first usage
    Same result as call-by-name (and more efficient!) if
    there are no side-effects
    Same concept as lazy evaluation in declarative model
    declare
    A=3
    B=4
    proc {Cube X} X*X*X
    in {Cube A+B}

    declare
    A=3
    B=4
    fun {P X}
    A:= X
    X end
    in {P A+B}

    Discussion
    Is

    there one parameter passing mechanism that is


    right or best?
    Call-by-value is most common
    Oz uses call-by-reference because its goal is to
    factorize programming languages into a small set of
    programmer-relevant concepts
    Call-by-reference underlies the other mechanisms
    Does not require cells or procedure values
    Simple formal semantics
    Efficient to implement
    Other behaviors can be achieved manually

    Challenge: What is the output?


    declare A=3 B=4 C=1
    proc {P X Y Z}
    C=5
    X=Z
    C=4
    Y=Z+A
    end
    in {P A B A+C}
    {Browse B}

    Call by value?
    Call by reference?
    Call by valueresult?
    Call by name?
    Call by need?

    2
    4
    6
    7
    8
    10
    12
    16
    20

    Challenge: What is the output?


    declare A=3 B=4 C=1
    proc {P X Y Z}
    C=5
    X=Z
    C=4
    Y=Z+A
    end
    in {P A B A+C}
    {Browse B}

    Call by value? 4
    Call by reference? 8
    Call by value-result? 7
    Call by name? 20
    Call by need? 16

    También podría gustarte