模板函数中能否使用静态模板变量？附异常案例求助

模板函数中可以使用静态模板变量，但你的代码存在几个关键问题导致运行异常，以下是问题分析和修复方案：

问题分析 #

你的代码存在三个核心问题：

1. 模板参数实例化不一致：
   第一次调用function(WRITE, "hello")时，T被推导为const char*；第二次调用function(READ, NULL)时，NULL本质是int类型，T被推导为int。这会实例化两个完全独立的模板函数，各自拥有独立的static T datas变量，所以第二次读取的是int版本的未初始化变量，触发未定义行为。
2. 函数分支缺失返回值：
   当i == WRITE时，函数没有返回值，不符合C++对非void返回类型函数的要求，会导致未定义行为。
3. NULL的类型歧义：
   C++中NULL通常被定义为0（int类型），容易引发模板参数推导错误，建议使用nullptr替代。

修复方案 #

针对上述问题，修复后的代码如下：

#include <iostream>

enum types : bool
{
    READ,
    WRITE
};

template<typename T>
T function(types i, T data = T{})
{
    static T datas{}; // 初始化静态变量，避免未定义行为
    if (i == WRITE)
    {
        datas = data;
        return datas; // 补充返回值
    }
    else if (i == READ)
    {
        return datas;
    }
    return datas; // 兜底返回，避免编译警告
}

int main()
{
    function<const char*>(WRITE, "hello"); // 显式指定模板参数，确保两次调用实例化同一个函数
    std::cout << function<const char*>(READ, nullptr) << std::endl;
}

关键修正点 #

• 显式指定模板参数：调用时显式传递const char*作为T，确保两次调用实例化同一个模板函数，共享同一个static T datas变量。
• 补充所有分支的返回值：确保函数在任何分支下都有合法返回值，符合C++语法要求。
• 初始化静态变量：用{}初始化datas，避免未初始化的未定义行为。
• 替换NULL为nullptr：消除类型歧义，符合C++现代写法。

运行修复后的代码，即可得到预期输出：

hello

内容的提问来源于stack exchange，提问作者rowan