定义静态成员变量时，未遵循定义顺序？

Question

我知道来自不同翻译单元的静态变量的初始化顺序问题。不过，我的问题是一个翻译单元内，事实上，一个结构内：

template <int size> 
struct SlidingTile { 
    using AllActions = std::array<int, size>; 
    using AllMDDeltas = std::array<int, size>; 

    int mdDelta(int i) const { 
     return mdDeltas_[i]; 
    } 

    static AllActions computeAllActions() { 
     std::cout << "computeAllActions" << std::endl; 
     AllActions res; 
     for (int i = 0; i < size; ++i) res[i] = i; 
     return res; 
    } 

    static AllMDDeltas computeAllMDDeltas() { 
     std::cout << "Entered computeAllMDDeltas" << std::endl; 
     AllActions res; 
     for (int i = 0; i < size; ++i) res[i] = 10 * allActions_[i]; 
     std::cout << "Exiting computeAllMDDeltas" << std::endl; 
     return res; 
    } 

private: 
    static const AllActions allActions_; 
    static const AllMDDeltas mdDeltas_; 
}; 

template <int size> 
const typename SlidingTile<size>::AllActions 
    SlidingTile<size>::allActions_ = SlidingTile<size>::computeAllActions(); 

template <int size> 
const typename SlidingTile<size>::AllMDDeltas 
    SlidingTile<size>::mdDeltas_ = SlidingTile<size>::computeAllMDDeltas(); 

int main() { 
    SlidingTile<3> s; 
    std::cout << s.mdDelta(2) << std::endl; 
    return 0; 
} 

输出是：

Entered computeAllMDDeltas 
Exiting computeAllMDDeltas 
computeAllActions 

令我惊讶的是，computeAllMDDeltas被computeAllActions之前调用等allActions_不在computeAllMDDeltas中使用时初始化。有趣的是，即使在computeAllMDDeltas中使用allActions_，也不会调用computeAllActions。

为什么会发生这种情况，在这种情况下建议的方式是什么？

Answer 1

在定义静态成员变量时，定义顺序没有被遵循？

因为标准说初始化是无序：

[basic.start.init/2（N4140标准草案）

...明确专门的模板类静态的定义数据成员已经命令初始化。其他 类模板静态数据成员（即，隐含或显式实例化的专业化）具有无序 初始化。 ...

---

什么是在这种情况下，建议的方式？

同跨翻译单元初始化：构建在第一次使用成语：

struct SlidingTile { 
    // ... 
private: 
    static const AllActions& allActions() { 
     static const AllActions instance = computeAllActions(); 
     return instance; 
    } 
    static const AllMDDeltas& mdDeltas() { 
     static const AllMDDeltas instance = computeAllMDDeltas(); 
     return instance; 
    } 
};