함수에서 구조체를 전달하는 방법은 무엇입니까?

Question

잠시 동안 C를 작성하지 않았기 때문에 혼란 스럽습니다. C++에서는 전체 구조체를 복사하지 않기 위해 참조로 전달합니다. 이것은 C에도 적용됩니까? 복사를 피하기 위해 그들을 수정하고 싶지 않더라도 포인터로 전달해야합니까? 두 구조체가 동일한 경우를 확인하는 기능을 위해, 우리는 더 나은

int equal(MyRecord* a, MyRecord* b);

을 수행하고 (때문에 포인터의) 비트를 가독성을 저하 말하면

,

또는

int equal(MyRecord a, MyRecord b);

의 성능은 동일합니까?

Answer 1

구조체의 크기에 따라 더 빠르다는 것은 과입니다. 이는 호출 된 함수 내에서 사용됩니다.

구조체가 포인터보다 크지 않은 경우 값으로 전달하는 것이 가장 좋습니다 (복사 할 데이터의 양 또는 더 작음).

구조체가 포인터보다 큰 경우 호출 된 함수 내에서 발생하는 액세스 유형에 크게 의존합니다 (ABI 사양에서도 나타남). 많은 랜덤 액세스가 구조체에 만들어지면, 함수 내에서 포인터 간접 참조가 발생하기 때문에 포인터보다 크더라도 값으로 전달하는 것이 더 빠를 수 있습니다.

구조체가 포인터보다 큰 경우 무엇이 더 빠르는지 알아 내기 위해 프로필을 작성해야합니다.

Answer 2

자신에게 말하는 이유 때문에 포인터를 전달하는 것이 더 빠릅니다.

실제로이 경우 C++보다 읽기 쉽습니다. 호출에서 포인터를 전달하면 매개 변수가 호출 된 함수에 의해 변경 될 수 있음을 인정합니다. C++ 참조를 사용하면 호출 만보고 호출 된 함수 원형을 체크 아웃해야 참조를 사용하는지 확인할 수 있습니다.

Answer 3

은 종종 포인터를 전달하는 것은 빠르다 - 그리고 r1 및 r2 지역 struct 변수입니다 당신은 equal(&r1, &r2) 전화 할게. 형식을 const 포인터로 const 구조로 선언 할 수 있습니다 (이 경우 optimizing compiler이 더 효율적인 코드를 생성하는 데 도움이됩니다). restrict 키워드를 사용할 수도 있습니다 (equal을 과 동일한 포인터 (예 : equal(&r1,&r1), 즉 pointer aliasing없이)라고 절대로 호출하지 않을 것이라고 확신하는 경우

그러나, 어떤 특정 ABIs 및 calling conventions 몇 몇 특정 구조에 대해서는 특별히 처리를 강제 할 수있다. 예를 들어, x86-64 ABI for Linux (및 Unix SVR4)는 두 개의 포인터 또는 정수 값을 갖는 struct이 두 개의 레지스터를 통해 반환된다고 말합니다. 일반적으로 레지스터에서 포인터로 메모리 영역을 수정하는 것보다 빠릅니다. YMMV.

더 빨리 무엇인지 알아 보려면 실제로 벤치 마크해야합니다. 그러나 값이 큰 struct (예 : 최소 4 개의 정수 필드 또는 포인터 필드 포함)을 전달하는 것은 포인터를 전달하는 것보다 거의 항상 느립니다.

현재, 현재 데스크탑 및 랩톱 프로세서에서 중요한 점은 CPU cache입니다. 자주 사용되는 데이터를 L1 또는 L2 캐시에 보관하면 성능이 향상됩니다. this을 참조하십시오.