C 바이너리 연산자 표현식에서 이니셜라이저 목록을 피연산자로 직접 사용할 수 없는 이유는 무엇입니까?

연산자 표현식의 초기화 목록: 딜레마

C에서 중괄호로 묶인 초기화 목록은 변수를 초기화하는 편리한 방법을 제공합니다. . 그러나 연산자 표현식에서 이니셜라이저 목록을 사용하려고 하면 흥미로운 질문이 발생합니다. 다음 코드를 고려해 보세요.

class foo { };

struct bar
{
    template<typename... T>
    bar(T const&...) { }
};

foo& operator<<(foo& f, bar const&) { return f; }

int main()
{
    foo baz;
    baz << {1, -2, "foo", 4, 5}; // This line gives an error
    return 0;
}

이 코드에서 특히 baz << 표현식이 포함된 줄과 관련하여 오류가 발생하는 이유는 무엇입니까? {1, -2, "foo", 4, 5};? 그 이유는 C 표준의 초기화 목록 정의에 있습니다.

초기화 목록: 표현식의 예외

표준 §5에 표현식이 정확하게 정의되어 있습니다. 놀랍게도 초기화 목록은 표현식 자체로 간주되지 않습니다. <<를 포함한 이진 연산자는 표현식을 인수로 사용합니다. 따라서 초기화 목록은 이 기준을 충족하지 않으므로 이진 연산자의 피연산자로 직접 사용할 수 없습니다.

제한된 예외

표준에서는 초기화에 대한 몇 가지 예외를 제공합니다. 함수 인수 및 할당문을 포함하여 사용법을 나열합니다. 단, 이항 연산자에는 예외가 적용되지 않습니다.

제한 이유

이 제한의 근거는 다양합니다. 초안/토론 문서 N2215에 따르면 이니셜라이저 목록을 연산자의 왼쪽 및 오른쪽 피연산자로 허용하면 구문 분석기에 문제가 될 수 있는 문법적 복잡성이 발생합니다. 논문의 저자는 궁극적으로 오른쪽에는 허용하고 왼쪽에는 허용하지 않는 것이 너무 번거로울 것이라고 결정했습니다.

결론

초기화 프로그램 목록에서 특정 상황에서 편리함을 제공하지만 연산자 오른쪽에서의 제한된 사용은 구문적 문제와 언어 문법의 일관성에 대한 요구에서 비롯됩니다. 피연산자로 초기화 목록을 사용하는 대신 수정된 코드에서 볼 수 있듯이 생성자 호출을 사용하거나 bar 인스턴스를 연산자<<()에 대한 인수로 직접 전달할 수 있습니다.

baz << bar{1, -2, "foo", 4, 5};

위 내용은 C 바이너리 연산자 표현식에서 이니셜라이저 목록을 피연산자로 직접 사용할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!