使用 const_cast 添加 const 时的未定义行为？

Question

这个问题是关于我在使用const_cast 制作char * const char * 时观察到的行为。我知道此转换是隐式完成的，并且 t 在隐式完成转换时为我工作。

有问题的代码是：

#include <cstdlib>
int main() {
    const char * org_str = NULL;
    org_str = const_cast<const char*>(getenv("ENV_VAR")); // PROBLEM !!
}

根据Linux man page getenv() 接受const char * 并返回char*。因此，根据我对 const 正确性的理解，我可以毫无问题地对 char* 进行 const 转换。

所以，我的问题是，为什么 const_cast 在这里给了我一个 UB（代码正在崩溃），但正如预期的那样，没有 const_cast（隐式转换）它的工作正常（所以问题必须与使用 @987654333 @) ?

请注意，我知道隐式转换是要走的路，通过这篇文章，我需要专门针对此处观察到的行为的答案。

编辑：

由于其他 So'ers 无法重现该错误，因此我假设这是一些奇怪的运行时/编译器问题。但是，如果标准中提到了此类问题，请告诉我。

暂时我接受迈克的回答。

Answer 1

您正在转换函数指针，而不是函数返回的指针。先用 () 调用函数，然后转换结果。

编辑：我无法重现该问题。这是我使用的代码：

#include <cstdlib>
#include <iostream>

using namespace std;
int main() {
    const char * org_str = NULL;
    org_str = const_cast<const char*>(getenv("PATH"));
    cout << "Got: " << org_str << endl;
}

这是我得到的：

$ g++ foo.cc -o foo.app
$ ./foo.app
Got: /usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin:/usr/X11/bin:/usr/X11R6/bin
$

顺便说一句，NULL 的赋值是不必要的；推荐的做法是使用以下之一：

const char *org_str = const_cast<const char*>(getenv("PATH"));

const char *org_str(const_cast<const char*>(getenv("PATH")));

const char *org_str(getenv("PATH"));

Answer 2

你不需要 const_cast<> 来制作 const 的东西，你只需要它来消除 const-ness。

我也不相信你的代码是正确的，因为getenv 是一个函数，看起来你正在使用它作为变量。也许这样的事情会起作用：

const char * org_str = getenv("name-of-env");

Answer 3

据我了解，这不是您应该转换的 getenv 的返回值，而是您拥有的 const char。由于 org_str 是常量，因此不使用 const_cast 就无法分配给它，这意味着您需要执行以下操作：

#include <cstdlib>
int main() {
    const char * org_str = NULL;
    const_cast<char*>(org_str) = getenv("ENV_VAR"); // NO PROBLEM !!
}

编辑：至于在 getenv 上使用 const_cast，这是没有意义的，因为您没有分配给它，因此不会有任何违反 const 表达式的行为，因为

org_str = getenv("ENV_VAR") will give you.