傳遞爲const char *從該需要一個char *

Question

考慮我有一個動態的外部庫libExternal.dylib以下功能的外部庫函數：

void print(char* str) 
{ 
    // Changes the first char to 'a' and prints the string 
    *str = 'a'; 
    printf("%s\n", str); 
} 

接下來，我有一個加載這個外部庫和調用可執行（檢查省略誤差）函數：

int main(int argc, const char * argv[]) 
{ 
    void* hLib = dlopen("libExternal.dylib", RTLD_LAZY | RTLD_LOCAL); 

    typedef void(*printFunc)(const char*); 
    printFunc func = (printFunc)dlsym(hLib, "print"); 

    std::string test = "hello"; 
    func(test.c_str()); 

    dlclose(hLib); 

    return 0; 
} 

正如你可以看到，在庫中定義的函數以一個char*作爲參數。當使用dlsym時，我使它得到了一個函數，它需要一個const char*。它的工作原理！

我的問題是，這怎麼可能？動態加載器忽略const類型？我真的無法在任何地方找到答案，所以請幫助我！ :)

編輯： 我知道這個代碼是錯誤的，我只是想了解這是如何可能的。

Answer 1

它可以工作，但並不意味着它是正確的。

它不會忽略const的類型，你鑄造外部函數，它接受常量類型的函數：

typedef void(*printFunc)(const char*); 
         ^^^^^^^^^^^ 

printFunc func = (printFunc)dlsym(hLib, "print"); 
       ^^^^^^^^^^^ 

，並嘗試使用正確的函數簽名，以避免未定義行爲因修改常量值。

Answer 2

傳遞const char *到foo(char *str)是未定義行爲（UB）。

它可以工作，它可能不會。它肯定不會在防止寫入const內存的系統上工作。其他系統是寬鬆的，隨後的操作可能會/不會按預期工作。

C11草案6.7.3。 6