能否实现区分堆、栈、静态区、函数地址的classifyPointer函数？

结论 #

可以实现，虽然不存在标准C的跨平台通用方案，但在绝大多数主流桌面、服务器平台（包括使用ELF格式的类Unix系统、Windows、采用glibc malloc/jemalloc等常见内存分配器的环境）都可以实现可用的classifyPointer逻辑，足以覆盖你提到的「识别只读字面量避免冗余拷贝」这类优化场景。 #

主流平台下的分类判断逻辑 #

我们可以通过平台提供的内存查询接口，按优先级依次判断指针所属的内存类型：

• 函数/代码段指针
  类Unix平台可通过dladdr1()查询指针是否属于动态加载的可执行段，也可读取/proc/self/maps匹配属性为r-xp的代码段区间；Windows平台可调用VirtualQuery()查询内存属性，若为PAGE_EXECUTE_READ或PAGE_EXECUTE_READWRITE且属于已加载模块的地址范围，即可判定为代码段指针。
• 只读常量（含字符串字面量）
  同样通过/proc/self/maps或VirtualQuery()查询内存属性，若为只读不可写（类Unix下r--p、Windows下PAGE_READONLY）且属于已加载的可执行文件/动态库的段区间，即可判定为只读常量，这类内存不会被程序修改，生命周期和进程一致，完全可以直接引用无需拷贝。
• 栈内存
  主线程栈可通过/proc/self/maps中的[stack]区间匹配；多线程场景下类Unix平台可通过pthread接口获取当前线程的栈上下限，Windows平台可从线程环境块（TEB）的StackBase、StackLimit字段读取栈范围，指针落在区间内即可判定为栈内存。
• 堆内存
  主流内存分配器都提供了堆指针校验接口：jemalloc、glibc malloc提供malloc_usable_size()，传入合法堆指针会返回对应内存块的可用大小，非堆指针返回0且不会触发崩溃；Windows平台可调用_heapmsize()实现同样效果。如果是自定义内存池的场景，可以自行维护内存区间的索引结构做匹配。

Linux环境下的简化实现示例 #

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <malloc.h>
#include <pthread.h>
#include <dlfcn.h>
#include <stdint.h>
#include <string.h>
#include <sys/mman.h>

static void
classifyPointer(const void *p)
{
    // 先判断是不是代码段/只读段
    Dl_info dli;
    if (dladdr(p, &dli) != 0) {
        FILE *maps = fopen("/proc/self/maps", "r");
        if (maps) {
            char line[256], perm[5];
            unsigned long start, end;
            while (fgets(line, sizeof(line), maps)) {
                if (sscanf(line, "%lx-%lx %4s", &start, &end, perm) == 3) {
                    if ((uintptr_t)p >= start && (uintptr_t)p < end) {
                        if (perm[2] == 'x') {
                            printf("函数/代码段\n");
                            fclose(maps);
                            return;
                        } else if (perm[0] == 'r' && perm[1] != 'w') {
                            printf("只读常量（含字符串字面量）\n");
                            fclose(maps);
                            return;
                        }
                        break;
                    }
                }
            }
            fclose(maps);
        }
    }

    // 判断是不是主线程栈
    FILE *maps = fopen("/proc/self/maps", "r");
    if (maps) {
        char line[256];
        unsigned long start, end;
        while (fgets(line, sizeof(line), maps)) {
            if (strstr(line, "[stack]")) {
                if (sscanf(line, "%lx-%lx", &start, &end) == 2) {
                    if ((uintptr_t)p >= start && (uintptr_t)p < end) {
                        printf("栈内存\n");
                        fclose(maps);
                        return;
                    }
                }
                break;
            }
        }
        fclose(maps);
    }

    // 判断是不是堆内存
    if (malloc_usable_size((void*)p) > 0) {
        printf("堆内存\n");
        return;
    }

    printf("未知内存类型\n");
}

int
main(int argc, char *argv[])
{
     const char *p1 = "Meow";
     char        p2[3];
     char       *p3 = malloc(11);

     classifyPointer(p1);    /* string literal */
     classifyPointer(p2);    /* stack */
     classifyPointer(p3);    /* heap */
     classifyPointer(main);  /* function */

     free(p3);
     return 0;
}

注意事项 #

• 以上实现仅用于演示，生产环境使用需要补充多线程栈匹配、自定义内存池处理、异常分支容错等逻辑
• 无法区分同属于只读段的字符串字面量和const全局变量，不过对于「避免冗余拷贝」的场景来说这个差异完全不影响
• 所有逻辑都依赖平台特性，无法在无OS的嵌入式环境、非主流文件格式的系统上运行

内容的提问来源于stack exchange，提问作者Mikhail T.