64 비트 리눅스에서 함수 포인터 크기

Question

나는 std/boost :: function보다 더 간단하고 (더 빠르며) 똑같은 것을 쓰고있다. 나의 가장 큰 관심사는 단순성과 효율성이다. 플랫폼은 gcc와 clang으로 컴파일 된 x86-64 linux로 제한되어있다. 위의 제한에서

, 그것은 공정

1. 모든 함수 포인터, 즉, 포인터 (함수, 멤버 함수를 무료로 가정하는 것입니다 POD의 가상 방법, 파생 클래스, 사실상 상속 클래스 클래스. ..), functor, lambda ... 모두 최대 16 바이트 크기입니까?
2. 그리고 정렬 요구 사항은 무엇입니까?

Answer 1

x86_64의 경우 함수 및/또는 멤버에 대한 포인터가 멤버 함수에 대한 포인터의 크기를 초과하지 않는다고 안전하게 가정 할 수 있습니다. GCC의 경우이 값은 sizeof(void*)입니다. clang의 경우 이것은 sizeof(void*)*2 (마지막으로 확인한 시간)입니다. 정렬 요구 사항은 16 바이트입니다. GCC를 사용하면 __BIGGEST_ALIGNMENT__ 미리 정의 된 매크로를 사용할 수 있습니다. 그러나 clang에는 결석이 ​​있습니다. 내가 제안 할 수있는 유일한 방법은 가정하지 말고 가장 큰 크기를 계산하는 컴파일 타임 식을 사용하는 것입니다.

UPDATE : @ 데이비드로

가 8 바이트 여러 및/또는 가상 상속의 경우 멤버 함수 호출을 파견하기 위해 충분하지 않을 수 있습니다 지적했다. 따라서 안전한 측면을 유지하기 위해 두 경우 모두 sizeof(void*)*2이 적용됩니다.

가장 좋은 방법은 sizeof을 사용하는 컴파일 타임 표현식입니다. 예를 들면 다음과 같습니다.

struct Foo { 
}; 

typedef void* (Foo::*pmf)(); 
typedef void* (*bar)(); 

constexpr auto max_func_pointer_size() -> decltype(sizeof(void*)) { 
    return sizeof(pmf) > sizeof(bar) ? sizeof(pmf) : sizeof(bar); 
} 

int main() 
{ 
    static_assert(max_func_pointer_size() == 16, "oops!?"); 
}