포인터 인수를 사용하여 C ++ 메서드를 C 함수로 변환 할 수 있습니까?

ESP-32에서 C ++을 사용합니다. 타이머를 등록 할 때 다음을 수행해야합니다.

timer_args.callback = reinterpret_cast<esp_timer_cb_t>(&SoundMixer::soundCallback);
timer_args.arg = this;

여기 타이머가 호출합니다 soundCallback.

작업을 등록 할 때도 마찬가지입니다.

xTaskCreate(reinterpret_cast<TaskFunction_t>(&SoundProviderTask::taskProviderCode), "SProvTask", stackSize, this, 10, &taskHandle);

따라서이 방법은 분리 된 작업에서 시작됩니다.

GCC는 항상 이러한 전환에 대해 경고하지만 계획대로 작동합니다.

프로덕션 코드에서 허용됩니까? 더 좋은 방법이 있습니까?

당신이하고있는 reinterpret_cast것을 정확히 알지 않는 한 A 는 항상 비린내가 있습니다 . 여기서 코드는 C ++ 메소드에 대한 GCC의 호출 규칙으로 만 작동하지만 정의되지 않은 동작과 같은 냄새가납니다. 특히 멤버 함수가 어떤 식 으로든 일반 함수 포인터와 호환된다고 가정해서는 안됩니다.

일반적인 접근 방식은 대신 내부적으로 C ++ 메소드를 호출하는 적절한 서명으로 C 호환 함수를 정의하는 것입니다. 예를 들면 다음과 같습니다.

extern "C" static void my_timer_callback(void* arg) {
  static_cast<SoundMixer*>(arg)->soundCallback();
}

이 캐스트는 a void*에서 뾰족한 객체의 유형으로 다시 캐스팅하기 때문에 좋습니다.

세부:

• extern "C"이 함수 의 언어 연결 을 지정합니다 . 언어 연결은 이름 맹 글링과 함수 의 호출 규칙 에 영향을줍니다 . 멤버 함수는 C 언어 링크를 가질 수 없습니다. 언어 연결은 대부분 내부 / 외부 연결과 직교합니다.

• 콜백의 경우 함수는 "비공개"일 수 있습니다. 즉 내부 연결이 있습니다. C 코드는 이름으로 콜백을 참조하지 않습니다. 위의 코드 스 니펫은 static키워드를 통한 내부 연결을 지정 합니다 (정적 방법 아님). 또는 함수가 익명 네임 스페이스에 배치되었을 수 있습니다.

  나는 사이의 상호 작용에 대해 완전히 확실하지 오전 extern "C"과 static(내부 연결). 예를 들어 [dcl.link],“모든 함수 유형, 외부 연결이있는 함수 이름 및 외부 연결이있는 변수 이름에는 언어 연결이 있습니다.”라고 C 언어 연결 유형 이 my_timer_callback있지만 함수 이름 이 그렇지 않도록 해석합니다 .

• A static_cast는 실제 유형을 알고 arg있지만 유형 시스템 내에서 표현할 수 없기 때문에 여기에 적합 합니다. 대조적으로, a reinterpret_cast는 비트 패턴, 예를 들어 숫자 형에 대한 포인터를 재 해석하고자 할 때 적합합니다.

• 함수는 일반적인 객체가 아니며 멤버 함수는 훨씬 적습니다. 함수가 실제 유형을 통해서만 호출되는 한 (및 멤버 함수 포인터와 유사하게) 함수 포인터 유형간에 재 해석 될 수 있습니다. 함수 포인터를 다른 유형 (예 : 객체 포인터 또는 void 포인터)으로 캐스트 할 수 있는지 여부는 구현 정의 ( background )입니다. POSIX는 함수 포인터 사이의 캐스트와에 void*있도록 허용 dlsym()캔 작동합니다. (멤버) 함수 포인터와 관련된 다른 캐스트는 정의되어 있지 않습니다. 특히 멤버 함수와 함수 포인터 사이의 캐스트는 불가능합니다.

개인적으로, 내가 찾은 가장 호환 가능하고 구현하기 쉽고 이해하기 쉬운 접근 방식은 내부적으로 메소드를 호출하는 예상 C 인터페이스와 호환되는 "래퍼"기능을 제공하는 것입니다 (정적이지 않은 경우, 기존 인스턴스를 인스턴스화하거나 사용하여 수행하십시오). 어댑터 디자인 패턴의 변형으로 볼 수 있습니다.