Неявное преобразование относительно константы в C++

Question

#include <iostream> 
int foo(const char* keke) { 
    std::cout << keke; 
    return 0; 
} 
int main() 
{ 
    char* keke = new char(10); 
    char* const haha = keke; 
    return foo(haha); 
} 

Почему нет ошибок/предупреждений при компиляции вышеуказанного кода?

Тип haha: char* const, а foo только принимает аргумент типа const char*. Может ли char* const неявный конвертировать в const char*?

Answer 1

Да. Это называется qualification conversions (один из неявных преобразований):

(курсив мой)

prvalue указателя типа для CV-квалифицированного типа Т может быть преобразован в prvalue указатель на более резюме квалифицированных такого же типа T (другими словами, константа и волатильность могут быть добавлены).

«Больше» резюме квалифицированное означает, что

указатель неквалифицированного типа может быть преобразован в указатель на константный;
...

Это означает char* может быть неявно преобразован в const char*.

const классификатор на самом указатель не имеет значения здесь, параметр keke сам объявляется быть передан по значению, это хорошо аргумент должен быть скопирован из haha (т.е. const указатель; char* const).