STL 알고리즘(C 98/03)에서 로컬 클래스를 조건자로 사용할 수 없는 이유는 무엇입니까?

STL 알고리즘에서 로컬 클래스의 수수께끼

람다 표현식이 STL 알고리즘에서 술어로 널리 사용되고 있음에도 불구하고 로컬 클래스는 신비롭게 보입니다. 이 유틸리티에서 제외됩니다. 이 질문에서 우리는 로컬 유형이 STL 알고리즘에 조건자로 참여하는 것을 금지하는 표준에서 규정한 제한 사항을 해결하려고 합니다.

표준의 금지

로컬 유형의 부재 STL 알고리즘 내에서 술어 유형으로서의 클래스는 C 98/03 표준에 의해 부과된 명시적 금지에서 비롯됩니다. 03 기사 14.3.1:

"로컬 유형, 연결이 없는 유형, 명명되지 않은 유형 또는 이러한 유형이 혼합된 유형은 템플릿 유형 매개변수에 대한 템플릿 인수로 사용되어서는 안 됩니다. ."

이 제한은 제공된 예제와 같이 코드에 플래그를 지정하는 컴파일러에서 나타납니다. 여기서 로컬 구조체는 조건자로 사용할 수도 없습니다. std::remove_if.

제한 근거

이 제외의 근거는 추측에 둘러싸여 있습니다. 어떤 사람들은 이것이 실수였다고 추측하는 반면, 다른 사람들은 알고리즘 내에서 임시적이고 혼란스러울 수 있는 유형 정의를 방지하기 위한 것이라고 생각합니다.

C 11의 진화

다행히도, C 11 표준에서는 이 문제를 수정하여 템플릿 인수로 로컬 유형에 대한 제한을 해제했습니다. 결과적으로 현대 컴파일러는 일반적으로 STL 알고리즘에서 로컬 클래스를 조건자로 사용하는 것을 허용합니다.

결론

로컬 클래스에 대한 원래 금지는 좌절의 원인이었지만 C 11의 제거로 STL 알고리즘에서 로컬 유형을 활용하는 새로운 길이 열렸습니다. 오늘날 람다 표현식과 로컬 클래스는 효과적인 조건자 옵션으로 공존하여 개발자에게 알고리즘 조작을 위한 다양한 도구를 제공합니다.

위 내용은 STL 알고리즘(C 98/03)에서 로컬 클래스를 조건자로 사용할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!