linear argument

(theory)A function argument which is used exactly once by thefunction.

If the argument is used at most once then it is safe toinline the function and replace the single occurrence of theformal parameter with the actual argument expression. If theargument was used more than once this transformation wouldduplicate the argument expression, causing it to be evaluatedmore than once.

If the argument is sure to be used at least once then it issafe to evaluate it in advance (see strictness analysis)whereas if the argument was not used then this would wastework and might prevent the program from terminating.

单词	linear argument
释义	linear argument linear argument (theory)A function argument which is used exactly once by thefunction. If the argument is used at most once then it is safe toinline the function and replace the single occurrence of theformal parameter with the actual argument expression. If theargument was used more than once this transformation wouldduplicate the argument expression, causing it to be evaluatedmore than once. If the argument is sure to be used at least once then it issafe to evaluate it in advance (see strictness analysis)whereas if the argument was not used then this would wastework and might prevent the program from terminating.
随便看	ferdinand georg waldmuller ferdinand georg waldmüller ferdinand gotlibovich minding ferdinand heinrich gustav hilgard ferdinand hilgard ferdinand i ferdinand ii ferdinand iii ferdinand ii of aragon ferdinand ii of aragón ferdinand i of leon ferdinand i of león ferdinand i of naples ferdinand iv ferdinand ivanovich videman ferdinand joseph la menthe ferdinand joseph la menthe morton ferdinand joseph lamothe ferdinand julius cohn ferdinand kurnberger ferdinand kürnberger ferdinand lamothe ferdinand lasal ferdinand lasalle ferdinand lassalle