IAR 컴파일러 : 구조체를 함수 포인터와 함께 사용하면 맵 파일에 함수에 관계없이 구조체에 선언 된 모든 함수가 표시됩니다.

Question

구조체에 10 개의 함수 포인터가 있습니다. 구조체의 전역 인스턴스는 로컬 함수를 가리키는 초기화 된 함수 포인터입니다. 내 응용 프로그램에서 하나 이상의 함수 참조를 사용하면 링커가 맵 파일에 10 개의 모든 함수를 포함시킵니다.

메모리를 절약하기 위해 애플리케이션에 사용 된 기능을 링커에 포함시켜야합니다. 구조체에서 참조되는 모든 함수가 아닙니다. (제조업체) 파일 r_adc_api.h에

구조체

typedef struct st_adc_api 
    { 
     ssp_err_t (* open)(adc_ctrl_t * const p_ctrl, adc_cfg_t const * const  p_cfg); 
     ssp_err_t (* scanCfg)(adc_ctrl_t * const p_ctrl, adc_channel_cfg_t const * const p_channel_cfg); 
     ssp_err_t (* scanStart)(adc_ctrl_t * const p_ctrl); 
     ssp_err_t (* scanStop)(adc_ctrl_t * const p_ctrl); 
     ssp_err_t (* scanStatusGet)(adc_ctrl_t * const p_ctrl); 
     ssp_err_t (* read)(adc_ctrl_t * const p_ctrl, adc_register_t const reg_id, adc_data_size_t * const p_data); 
     ssp_err_t (* sampleStateCountSet)(adc_ctrl_t * const p_ctrl, adc_sample_state_t * p_sample); 
     ssp_err_t (* close)(adc_ctrl_t * const p_ctrl); 
     ssp_err_t (* infoGet) (adc_ctrl_t * const p_ctrl, adc_info_t * const p_adc_info); 
     ssp_err_t (* versionGet)(ssp_version_t * const p_version); 
    } adc_api_t; 

은 ** 헤더 r_adc.h은 **

extern const adc_api_t g_adc_on_adc; 

(제조업체) 배열 및 함수 정의 파일에 r_adc.c (제조업체에서)

const adc_api_t g_adc_on_adc = 
{ 
    .open     = R_ADC_Open, 
    .scanCfg    = R_ADC_ScanConfigure, 
    .infoGet    = R_ADC_InfoGet, 
    .scanStart    = R_ADC_ScanStart, 
    .scanStop    = R_ADC_ScanStop, 
    .scanStatusGet   = R_ADC_CheckScanDone, 
    .sampleStateCountSet = R_ADC_SetSampleStateCount, 
    .read     = R_ADC_Read, 
    .close     = R_ADC_Close, 
    .versionGet    = R_ADC_VersionGet 
}; 

및 ## 함수 정의 ##

** MAP 파일 ** 내 응용 프로그램에서 MAP file

, 내가 adc_on_g_adc.open (...)를 사용하는 경우; 링커가 당기는 대신 모든 10 개의 심볼을 맵 파일로 가져옵니다. R_ADC_Open();

하나의 함수가 호출 되더라도 .map 파일이 구조체의 모든 함수를 가져 오는 원인은 무엇입니까?

편집 :이 모든 것을 하나의 파일로 묶어서 필요한 맵 파일을 제공합니다. IAR 컴파일러는 사용하지 않는 함수를 생략합니다. 헤더와 소스를 여러 개 사용할 때만 작동하지 않습니다.

Answer 1

함수 포인터로 구조체를 채우는 경우 함수는 링커와 관련하여 "사용 된"것입니다.

링커가 R_ADC_ScanConfigure을 (를) 대체 할 대상으로 생각하십시오. g_adc_on_adc.scanCfg을 NULL로 설정할 수는 없습니까? 오브젝트 코드가 실제로 g_adc_on_adc.scanCfg을 호출하지 않는지는 알 수 없습니다.

기본적으로 출력에 R_ADC_ScanConfigure을 포함하는 것이 유일한 옵션입니다.

그러나, 대신이 NULL로 g_adc_on_adc.scanCfg을 설정 구조에 R_ADC_ScanConfigure를 할당하는 링커는 다음 출력에서 ​​수 생략 R_ADC_ScanConfigure 될 경우. 물론

const adc_api_t g_adc_on_adc = 
{ 
    .open     = R_ADC_Open, 
    .scanCfg    = NULL, 
    .infoGet    = R_ADC_InfoGet, 
    .scanStart    = R_ADC_ScanStart, 
    .scanStop    = R_ADC_ScanStop, 
    .scanStatusGet   = R_ADC_CheckScanDone, 
    .sampleStateCountSet = R_ADC_SetSampleStateCount, 
    .read     = R_ADC_Read, 
    .close     = R_ADC_Close, 
    .versionGet    = R_ADC_VersionGet 
}; 

, 코드가 당신이 참으로 아주 나쁜 일이 될 것입니다 (아마도) 주소 0에서 코드를 실행하려고 할 것 g_adc_on_adc.scanCfg 호출 끝 않은 경우. .scanCfg은 단순히 콘솔에 불쾌한 오류 메시지를 인쇄하는 기능을 가리킬 수 있습니다. 직렬 포트/무엇이든간에 적어도 뭔가 잘못되었다는 것을 알기 위해서입니다.

Answer 2

찾고있는 기능을 가상 함수 제거라고하며, C++의 가상 함수에만 사용할 수 있습니다.

코드에서 모든 컴파일러는 함수에 대한 몇 가지 포인터로 초기화 된 구조입니다. 이 구조가 전역이거나이 모듈에서 어떻게 든 내 보낸다면 컴파일러는 구조체의 모든 초기화 된 부분이 사용된다고 가정해야합니다.

링커가이 모든 것을 유지하면 구조에 대한 참조가 표시됩니다. 링커에게 구조의 어떤 부분이 사용되는지 알려주는 정보는 없습니다.

동일한 모듈에 모든 것을 넣으면 컴파일러는 실제로 어떤 함수를 참조하고 직접 찾아갈 수 있는지 알려주지 만 참조없이 구조체를 벗어나 버리면 다른 함수에 대한 모든 참조가 삭제됩니다 .