c++ - const 指针分配给一个指针

Question

为什么我不能这样做:

char* p = new char[10];

void SetString(char * const str)
{
    p = str;
}


SetString("Hello");

我有一个指向 char 的 const 指针，为什么我不能将 const 指针分配给另一个指针？

这似乎不合逻辑，因为通过将其分配给另一个指针，您实际上并没有违反 char 指针的 const-ness。还是你？

编辑: 当我编译它时，它显示“错误 C2440: '=' : cannot convert from 'char *const *__w64 ' to 'char *'”

(我试图从正在阅读的书中理解一个概念。只是无法编译代码。

代码:

int _tmain(int argc, _TCHAR* argv[])
{

    MyString *strg = new MyString(10);
    strg->SetString("Hello, ");

    MyString *secondstr = new MyString(7);
    secondstr->SetString("Tony");

    strg->concat(*secondstr, *strg);

}

CPP 文件:

#include "MyStringClass.h"
#include <string.h>
#include "stdafx.h"

#include "MyStringClass.h"

void MyString::concat(MyString& a, MyString& b)
{
    len = a.len + b.len;
    s = new char[len + 1];
    strcpy(s, a.s);
    strcat(s, b.s);
    delete [] s; 

}

void MyString::SetString(char * const str)
{
    s = str;
}

MyString::MyString(int n)
{
    s = new char[n+1];
    s[n+1] = '\0';
    len = n;
}

头文件:

#include <string.h>
#include <stdio.h>

class MyString
{
private:
    char* s;
    int len;
public:
    MyString(int n = 80);

    void SetString (char * const str);

    void concat (MyString& a, MyString& b);
};

Answer 1

常量指针和指向常量的指针是有区别的。常量指针是一个不能改变的指针(一个数字 - 内存地址)——它总是指向通过初始化给出的同一个对象:

int * const const_pointer = &some_int_var; // will be always pointing to this var
const_pointer = &some_other_var; // illegal - cannot change the pointer
*const_pointer = 2; // legal, the pointer is a pointer to non-const

指向常量的指针是指向值不能改变的指针:

const int * pointer_to_const = &some_int_var; // doesn't have to be always pointing to this var
pointer = &some_other_var; // legal, it's not a constant pointer and we can change it
*pointer = 2; // illegal, pointed value cannot be changed

您始终可以将常量分配给变量，即 const 指针指向非 const 指针 (a)。您可以将指向非 const 的指针转换为指向 const (b) 的指针。但是您不能将指向 const 的指针转换为指向非 const (c) 的指针:

int * pointer;
int * const const_pointer = &var;
const int * pointer_to_const;

/* a */
pointer = const_pointer; // OK, no cast (same type)

/* b */
pointer_to_const = pointer; // OK, casting 'int*' to 'const int*'

/* c */
pointer = pointer_to_const; // Illegal, casting 'const int*' to 'int*'

[编辑] 下面，这不是标准的 c++。但是，这很常见。[/EDIT]
字符串字面量

"Hello"

转换成指向const的常量指针(const char * const):

char *pointer = "Hello"; // Illegal, cannot cast 'const char*' to 'char*'
char * const const_pointer = "Hello"; // Illegal, cannot cast 'const char*' to 'char*'
const char * pointer_to_const = "Hello"; // OK, we can assign a constant to a variable of the same type (and the type is 'const char*')
"Hello" = pointer_to_const; // Illegal cannot re-assign a constant

在上面的例子中，第二个是你的情况。在将字符串文字作为函数的参数传递时，您尝试使用 pointer-to-const 初始化 pointer-to-non-const。不管这些指针是不是常量，它们指向什么都重要。

总结:
1) 如果将某种类型的指针强制转换为另一种类型的指针，则不能将指向常量的指针强制转换为指向非常量的指针。
2) 如果你有常量指针，同样的规则也适用于其他常量——你可以将一个常量分配给一个变量，但你不能将一个变量分配给一个常量(初始化它除外)。

//编辑
正如 GMan 指出的那样，C++98 标准(第 4.2/2 节)允许将字符串文字(它们是常量 char 数组)隐式转换为非 const char 指针。这是因为向后兼容(在 C 语言中没有常量)。

当然，这样的转换会导致错误，编译器会违反规则并显示错误。但是，兼容模式下的 GCC 只显示警告。