삼항 연산자 컴파일러 최적화

Question

은 이것이다 :

int val; 
// ... 
val = (val != 0) ? otherVal : 0; 

이보다 효율적인

int val; 
//... 
if (val != 0) 
    val = otherVal; 

?

컴파일러는 3 진 연산자를 최적화 할 수 있습니까? 의도는 분명합니다. 실제로 메모리에 0을 쓰고 싶을 수있는 방법이 있습니까? 어쩌면 메모리가 파일에 매핑되었을 때?

우리는 상관 없다고 생각할 수 있습니까?

편집 : 요점은 하나의 조건이 충족되면 변수를 일부 값으로 설정하는 것입니다. 다른 분기가 필요하지 않습니다. 그래서 왜 삼진 (사본을 만들 의무가있는 지사가있는)이 덜 효과적이거나 최적화 될 것인지 물어 본다.

Answer 1

Mats Petersson 제안은 일반적으로 가장 "가장 읽을 수있는 변형 쓰기"입니다. 최적의 속도 성능 코드를 작성하려는 경우 컴퓨터 및 프로세서에 대한 자세한 정보가 필요합니다. 일부 시스템에서는 첫 번째가 더 빠르게 실행됩니다 (높은 파이프 라인 프로세서 : 분기가없고 최적화 된 삼항 연산자).다른 기계는 두 번째 형식 (더 간단)으로 더 빨리 실행됩니다.

Answer 2

컴파일러가 최적화합니다. 결국 성능에는 차이가 거의 없습니다.

그러나 가독성에는 큰 차이가 있습니다. 때로는 삼항 연산자가 선명도를 크게 높이 지 않는 여러 줄의 코드를 제거하는 데 도움을 줄 수 있습니다.

다른 경우에는 if 성명이 명확하고 쉽게 이해할 수 있습니다.

코드를 3 진으로 축소했지만 명확성을 유지하기 위해 많은 주석을 추가해야하는 것은 비생산적입니다.

코딩의 모든 신들은 삼원 진술을 중첩하지 마십시오.

Answer 3

이 대부분 효율이 동일한 컴파일러는이 경우/else 문을 최적화처럼 삼항 연산자를 최적화 될 것입니다 대부분의 컴파일러를 들어 Ternary operator ?: vs if...else

의 중복입니다. 말하자면, 나는 그들이 문장을 훨씬 더 쉽게 읽을 수있게 만들었을 때 문장을 선호한다.

다른 질문에 답변하십시오. 나는 당신이 무엇을 의미하는지 모르겠다. 만약 하나의 정수 나 변수를 0으로 설정했다면, 위에서와 같이 0으로 설정하는 것 이외의 다른 방법은 없다.

변수 배열이있는 경우 memset(ptr, 0, size*sizeof(TYPE))을 사용할 수 있습니다. 변수 배열을 0으로 설정하면 가장 빠를 수 있습니다. 아니면 std :: fill_n

나는 당신이 위의 논리로 달성하려고하는 것이 확실하지 않지만 약간 이상하게 보입니다. 거기에 조건부를 전혀 필요로하지 않는다는 것을 의미하는 코드를 배열하는 방법이 있지만 좀 더 많은 코드를 보지 않고는 자신의 상황에 대해 말하기는 어렵습니다.

이 작업을 수십억 번하지 않는 한 정직하게 말하자면 이것은 매우 성숙한 최적화 일 것입니다. 가독성에 중점을 두어야합니다.

Answer 4

때때로 bitselect라고하는 분기없는 삼항 연산자를 사용할 수 있습니다 (조건 : true : false).

여분의 작업에 대해 걱정하지 마십시오. if 문 분기와 비교하면 아무 것도 아닙니다.

bitselect 구현 :

inline static int bitselect(int condition, int truereturnvalue, int falsereturnvalue) 
{ 
    return (truereturnvalue & -condition) | (falsereturnvalue & ~(-condition)); //a when TRUE and b when FALSE 
} 

inline static float bitselect(int condition, float truereturnvalue, float falsereturnvalue) 
{ 
    //Reinterpret floats. Would work because it's just a bit select, no matter the actual value 
    int& at = reinterpret_cast<int&>(truereturnvalue); 
    int& af = reinterpret_cast<int&>(falsereturnvalue); 
    int res = (at & -condition) | (af & ~(-condition)); //a when TRUE and b when FALSE 
    return reinterpret_cast<float&>(res); 
}