typedef const char* 与 const typedef char*

我将用以下代码（传递静态断言）来说明 和 添加的内容：typedefconst

#include <type_traits>

typedef char* char_ptr;

static_assert(std::is_same_v<const char_ptr, char* const>);
// which is the same as
static_assert(std::is_same_v<char_ptr const, char* const>);

const适用于指针 - 而不是它所指向的指针。 总是适用于它剩下的东西 - 除非左边什么都没有，否则它适用于它的右边，但它通过做 来应用于整个 as-if 。charconstchar_ptrchar_ptr const

本声明：typedef

typedef char* char_ptr;

将名称声明为 类型的别名。也就是说，作为指向非常量的指针的别名。char_ptrchar *char

所以，这个函数声明：

void myFunc(const char_ptr param);

将其参数声明为指向非常量的常量指针。paramchar

它可以被重写为：

void myFunc( char * const param);

注意这一点。为了确定函数的类型，将放弃高级限定符。也就是说，上面的函数声明等价于下面的声明（即不是函数定义）：conts

void myFunc( char * param);

例如，您可以声明如下函数：

void myFunc( char * param);

并定义它，例如：

void myFunc( char * const param)
{
    std::cout << param << '\n';
}

反之亦然，您可以声明如下函数：

void myFunc( char * const param);

并像这样定义它：

void myFunc( char * param)
{
    std::cout << param << '\n';
}

在第一个函数定义中，您不能更改指针本身，例如：

std::cout << ++param << '\n';

但是，在这两个函数定义中，您可以更改指针指向的字符，例如：

*param = 'A';

因为指针，无论它本身是否是常量指针，都是指向非常量字符的指针。

另一方面，在函数中，您声明了一个常量字符数组：test()

const char str[] = "Hello, World!";

使用数组作为参数表达式，它被隐式转换为指向其第一个元素的指针，类型为 。const char *

并且，您正在尝试将此类型的指针传递给函数，该函数的相应参数具有 .也就是说，参数表达式的类型指针指向常量对象，而参数具有指向非常量对象的类型常量指针。const char *char * const

因此，编译器发出错误。

您可以像这样声明 typedef：

typedef const char* char_ptr;

然后函数声明：

void myFunc(const char_ptr param);

将等同于：

void myFunc(const char * const param);

您可以从以下函数调用该函数：test()

void test() {
    const char str[] = "Hello, World!";
    myFunc(str);
}

你必须记住，这不是一个马克罗。typedef

您的解释似乎认为您可以在文本上将 typedef（别名）替换到代码中，并且它是一样的。事实并非如此。它创建一个新的类型别名（可以把它想象成在类型周围添加括号）。

typedef char char_t; // Char type
typedef char* char_ptr; // Char pointer
typedef const char* char_const_ptr; // Char const pointer

要记住的另一条规则是束缚左边。除非它在最左边，否则它会绑定右边。因此，将常量从“最左边”向右移动会得到相同的类型。const

我总是将“最左边”移开，因为它使阅读类型更容易（从右到左阅读）。要进行一致的比较，您应该这样做，因为您现在有一个标准位置，您可以进行文本比较。constconst

因此，我会将您的类型视为：

char_t         =>  (char)
char_ptr       =>  (char*)
char_const_ptr =>  (const char*)   => (char const *)

---

现在看看你的问题：

IS_SAME( const char*, const char_ptr ); // false: Why?
IS_SAME( char* const, const char_ptr ); // true: Why?

const char*         =>                                          char const *
char* const         =>                                          char * const


const char_ptr      => const (char*)    => (char*) const     => char * const

查看阅读类型