반복적으로 호출 될 때 한 번 호출하는 것과 동일한 효과를 갖는 함수의 용어는 무엇입니까?

(단일 스레드 환경 가정)

이 기준을 충족시키는 기능은 다음과 같습니다.

bool MyClass::is_initialized = false;

void MyClass::lazy_initialize()
{
    if (!is_initialized)
    {
        initialize(); //Should not be called multiple times
        is_initialized = true;
    }
}

본질적 으로이 함수를 여러 번 호출 할 수 있으며 여러 번 초기화 MyClass하는 것에 대해 걱정할 필요가 없습니다.

이 기준을 충족하지 않는 기능은 다음과 같습니다.

Foo* MyClass::ptr = NULL;

void initialize()
{
    ptr = new Foo();
}

initialize()여러 번 호출 하면 메모리 누수가 발생합니다

동기

이 기준을 충족시킬 것으로 예상되는 기능에 대한 주석을 달 수 있도록이 동작을 설명하는 간결한 단어를 갖는 것이 좋습니다 (특히 재정의 될 것으로 예상되는 인터페이스 기능을 설명 할 때 유용함)

이러한 유형의 기능 / 작동을 Idempotent 라고합니다

Idempotence (영국 : / ˌɪdɛmˈpoʊtəns /, [1] US : / ˌaɪdəm-/) [2]는 수학 및 컴퓨터 과학에서 특정 작업의 속성으로 초기 응용 프로그램을 넘어서 결과를 변경하지 않고 여러 번 적용 할 수 있습니다.

수학에서 이는 f 가 dem 등원 인 경우 f ( f (x)) = f (x)이며 이는 f ∘ f = f 라고 말하는 것과 같습니다 .

컴퓨터 과학에서 이는 i f(x);등원 인 f(x);경우와 동일 함을 의미합니다 f(x); f(x);.

참고 : 이러한 의미는 다르게 보이지만 상태 의 의미 적 의미에서 "등전위"라는 단어는 실제로 수학과 컴퓨터 과학에서 동일한 의미를 갖습니다.

이에 대한 정확한 용어는 ( 우파가 언급했듯이 ) dem 등식 입니다. 나는 당신이 당신의 func1메소드를 dem 등원이라고 부를 수는 있지만 순수한 함수 라고 부를 수는 없다고 덧붙였다 . 순수 함수의 속성은 두 가지입니다. 즉, dem 등원이어야하며 부작용이 없어야합니다. 즉, 로컬 정적 변수, 로컬이 아닌 변수, 변경 가능한 참조 인수 또는 I / O 스트림의 돌연변이가 없습니다.

내가 언급 한 이유는 부작용이있는 idempotent 함수가 좋지 않기 때문입니다. 기술적으로 idempotent는 부작용이 아닌 함수의 반환 출력을 참조하기 때문입니다. 따라서 func2입력에 따라 출력이 변경되지 않으므로 기술적 으로 i 등법입니다.

순수한 기능을 원한다고 지정하려고합니다. 순수한 함수의 예는 다음과 같습니다.

int func1(int var)
{
    return var + 1;
}

더 많은 정보는 Wikipedia article "Pure function"에서 찾을 수 있습니다 .

용어는 I 등식 입니다. Idempotent 함수 (재귀 적으로 호출; 두 번째 코드 블록 및 수학 정의)와 기능적 Idempotence (동일한 입력으로 반복적으로 호출; 첫 번째 코드 블록 및 종종 프로그래밍에서 의미하는 용어) 사이에는 뚜렷한 차이가 있습니다.

부작용이있는 함수 f는 순차적 인 구성 f에서 dem 등원이라고한다. f 동일한 인수 목록으로 두 번 호출 된 경우 두 번째 호출에 부작용이없고 첫 번째 호출과 동일한 값을 반환하는 경우 [인용 필요] (첫 번째 호출의 끝과 시작 사이에 다른 프로 시저가 호출되지 않은 것으로 가정) 두 번째 전화).

예를 들어 다음 Python 코드를 고려하십시오.

x = 0

def setx(n):
    global x
    x = n

setx(5)
setx(5)

여기서, setx에 대한 두 번째 호출 (같은 인수로)은 가시적 인 프로그램 상태를 변경하지 않기 때문에 setx는 dem 등적입니다. x는 첫 번째 호출에서 이미 5로 설정되었고 두 번째 호출에서 다시 5로 설정되어 같은 가치. 이것은 함수 구성 f ∘ f에서 dem 등성과는 다르다는 점에 유의하십시오. 예를 들어 함수 구성에서 절대 값은 i 등수입니다.

def abs(n):
    if n < 0:
        return -n
    else:
        return n

abs(-5) == abs(abs(-5)) == abs(5) == 5

물리학에서 나는 이것을 투영 이라고합니다 .

돌기는 선형 변환 인 P 자체 벡터 공간으로부터되도록 P ² = P . 즉, P가 임의의 값에 두 번 적용될 때마다 한 번 적용된 것과 동일한 결과를 제공합니다 (등전위).

벡터 투영 의 만화 를 보면 그래픽 적으로 의미가 있습니다 .

그림에서 a ₁ 은 a의 b 에 대한 투영입니다 . 이는 함수의 첫 번째 적용과 같습니다. 이어서 돌기 ₁ 행에서 B는 동일한 결과를 제공 ₁ . 다시 말해, 투영을 반복해서 호출하면 한 번 호출하는 것과 같은 효과가 있습니다.

공정한 경고 : 물리 밖에서 이것이 사용 된 적이 없다고해서 팀에 이러한 유형이 없으면 모든 사람을 혼란스럽게 할 수 있습니다.

인 결정적 알고리즘 (이 경우에 입력이없는 상태) 동일한 입력을 부여하기 때문에, 그것은 항상 동일한 출력을 생성한다.

컴퓨터 과학에서 결정 론적 알고리즘은 특정 입력이 주어지면 항상 동일한 출력을 생성하고 기본 시스템이 항상 동일한 상태 시퀀스를 통과하는 알고리즘입니다. 결정 론적 알고리즘은 실제 머신에서 효율적으로 실행될 수 있기 때문에 가장 많이 연구되고 친숙한 알고리즘이며 가장 실용적인 알고리즘 중 하나입니다.

SQL 데이터베이스는 결정적 함수에 관심이 있습니다 .

결정 론적 함수는 입력이 같을 때 항상 같은 대답을합니다. SQLite의 대부분의 내장 SQL 함수는 결정적입니다. 예를 들어 abs (X) 함수는 입력 X가 같으면 항상 같은 답을 반환합니다.

인덱스 계산에 사용되는 함수는 결정적이어야합니다.

예를 들어, SQLite는에, 다음과 같은 비 결정적 함수는 인덱스에 사용할 수 없습니다 : random(), changes(), last_insert_rowid()와 sqlite3_version().

다른 답변 외에도이 속성 을 가진 기능에 특정 입력이있는 경우 함수 의 고정 소수점 , 고정 소수점 또는 고정 소수점 입니다. 예를 들어, 1의 모든 거듭 제곱은 1과 같으므로 (1ⁿ) ⁿ = 1ⁿ = 1입니다.

출력으로 생성되는 프로그램의 특수한 경우는 quine 입니다.