全局模板计时器静态成员读取异常：get()始终返回0排查

我想实现一个能在不同文件启停的全局计时器，无需考虑声明位置与作用域。于是用模板类包裹inline静态变量实现类全局变量，通过模板参数区分计时器名称，代码如下：

#include <chrono>
#include <algorithm>

template<size_t N>
struct StringLiteral 
{
    constexpr StringLiteral(const char (&str)[N]) {std::copy_n(str, N, value);}
    char value[N];
};

template<StringLiteral>
struct GlobalTimer
{
    inline static std::chrono::system_clock::time_point startTime = std::chrono::system_clock::now();
    inline static double totalTime = 0;

    inline static void on()
    {
        startTime = std::chrono::system_clock::now();
    }
    inline static void off() 
    {
        auto endTime = std::chrono::system_clock::now();
        totalTime += std::chrono::duration<double>(endTime - startTime).count();
    }
    inline static double get()
    {
        return totalTime;
    }
};

实际使用方式：

GlobalTimer<"myFirstTimer">::on();
// 执行一些操作
GlobalTimer<"myFirstTimer">::off();
// 之后在另一个文件中
std::cout << "myFirstTimer : " << GlobalTimer<"myFirstTimer">::get() << std::endl;

但遇到了奇怪的问题：多文件代码中get()始终返回0，但单文件小示例里运行正常。另外，如果在get()的return语句前添加std::cout << totalTime << std::endl，计时器就会正常工作，不再返回0。我本以为是编译器优化问题，但调试模式下用gcc和clang编译结果一致，怀疑这是未定义行为，特来寻求解答。

[编辑1]
为消除字符串字面量唯一性的不确定性，我改用全局常量数组作为模板参数：

constexpr char myFirstTimer[13] = "myFirstTimer";

GlobalTimer<myFirstTimer>::on();
// 执行一些操作
GlobalTimer<myFirstTimer>::off();
// 这次在同一个文件里调用get()
std::cout << "myFirstTimer : " << GlobalTimer<myFirstTimer>::get() << std::endl;

问题仍未解决，依旧返回0...

[编辑2]
为移除非标准的StringLiteral非类型模板参数，我改用int作为模板参数：

template<int>
struct GlobalTimer

问题仍然存在。

问题根源：ODR违反与模板实例化唯一性问题 #

你的问题核心在于模板特化的唯一性违反了ODR（单一定义规则），以及inline静态变量的跨翻译单元（TU）行为差异。

1. 字符串字面量作为模板参数的陷阱 #

C++标准明确规定：内容相同的字符串字面量是不同的对象。这意味着在不同TU中使用GlobalTimer<"myFirstTimer">时，编译器会将其视为不同的模板特化，每个特化都会拥有独立的totalTime静态变量。你在A文件中调用off()累加的值，和B文件中get()访问的是两个完全无关的变量，后者初始值为0，自然返回0。

即使你改用全局常量数组，如果数组是在每个TU中单独定义的（比如头文件中未加inline的constexpr数组），不同TU中的数组仍是不同对象，模板特化依旧不唯一，问题无法解决。

2. 为什么加std::cout就正常？ #

当你在get()中添加输出语句时，编译器会将totalTime的读取标记为有副作用的操作，不会对其进行优化。同时，输出操作可能触发了当前TU中模板特化的初始化，巧合下让你误以为变量是共享的，但本质上还是多个独立副本的问题——只是此时你访问的副本刚好是被累加过的那个。

解决方案 #

方案1：用标签类型作为模板参数（最可靠） #

避免使用非类型模板参数，改用唯一的标签类型区分计时器，确保模板特化在所有TU中唯一：

// 头文件中定义标签类型
struct MyFirstTimerTag {};
struct MySecondTimerTag {};

template<typename Tag>
struct GlobalTimer
{
    inline static std::chrono::system_clock::time_point startTime = std::chrono::system_clock::now();
    inline static double totalTime = 0;

    inline static void on()
    {
        startTime = std::chrono::system_clock::now();
    }
    inline static void off() 
    {
        auto endTime = std::chrono::system_clock::now();
        totalTime += std::chrono::duration<double>(endTime - startTime).count();
    }
    inline static double get()
    {
        return totalTime;
    }
};

使用方式：

// 任意文件中
GlobalTimer<MyFirstTimerTag>::on();
// 执行操作
GlobalTimer<MyFirstTimerTag>::off();

// 另一个文件中
std::cout << "myFirstTimer : " << GlobalTimer<MyFirstTimerTag>::get() << std::endl;

方案2：保证非类型模板参数是全局唯一实体 #

如果坚持使用非类型模板参数，需确保模板参数在所有TU中是同一个对象：

// 头文件中定义inline全局常量数组
inline constexpr char myFirstTimer[] = "myFirstTimer";

template<const char* Name>
struct GlobalTimer
{
    // 成员实现同原代码
};

使用方式：

GlobalTimer<myFirstTimer>::on();
// ...

inline constexpr保证数组在所有TU中是同一个实体，模板特化自然唯一。

方案3：Meyers单例模式（避免静态变量初始化问题） #

用函数内的静态变量实现单例，确保变量全局唯一且初始化时机安全：

template<typename Tag>
struct GlobalTimer
{
    static void on()
    {
        getStartTime() = std::chrono::system_clock::now();
    }
    static void off() 
    {
        auto endTime = std::chrono::system_clock::now();
        getTotalTime() += std::chrono::duration<double>(endTime - getStartTime()).count();
    }
    static double get()
    {
        return getTotalTime();
    }

private:
    static std::chrono::system_clock::time_point& getStartTime()
    {
        static std::chrono::system_clock::time_point startTime = std::chrono::system_clock::now();
        return startTime;
    }
    static double& getTotalTime()
    {
        static double totalTime = 0;
        return totalTime;
    }
};

函数内的静态变量在首次调用时初始化，完全避免跨TU的初始化顺序问题。

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