D 语言判断指针是否指向常量区：两种实现方式

在 D 语言中，可以通过判断指针所指向的地址是否在常量区来确定它是否指向常量区中的数据。常量区中的数据地址可以通过 __traits(getMember, str, ptr) 获取。

以下是两种实现方式：

方式一：

module test_s_trans;

import std.stdio;

void main()
{
    immutable char[] str = 'Hello, world!'; // 在常量区中声明一个字符串

    char* ptr1 = cast(char*)str.ptr; // 将字符串的指针转换为 char*

    if (ptr1 >= __traits(getMember, str, ptr) && ptr1 < __traits(getMember, str, ptr) + str.length)
    {
        writeln('hello');
    }
    else
    {
        writeln('world');
    }
}

方式二：

module test_s_trans;

import std.stdio;

void main()
{
    immutable char[] str = 'Hello, world!'; // 在常量区中声明一个字符串

    char* ptr1 = cast(char*)str.ptr; // 将字符串的指针转换为 char*

    if (ptr1.ptr == __traits(getMember, str, ptr))
    {
        writeln('hello');
    }
    else
    {
        writeln('world');
    }
}

以上两种方式都是通过比较指针指向的地址和常量区中的数据地址来判断指针是否在常量区。方式一直接通过指针的值来比较，而方式二则通过 ptr 属性来获取指针指向的地址，然后比较地址值。