开发平台(Platform): (Ex: VC++, GCC, Linux, ...)
Ubuntu 16.04 clang++3.8
额外使用到的函数库(Library Used): (Ex: OpenGL, ...)
c++ stl <iostream> <string>
问题(Question)：
现在放暑假在家，无聊就写程式
因为原本的题目须要纪录一点型态资讯
所以想说干脆先把 typelist 先弄出来再开始好了
结果没想到越写越有趣，后来除了 typelist，一些简单的 function
(head last init tail if equals succ pred...) 也顺便生出来了…
原本一切顺利，一帆风顺(？)可是在做 ToString 的时候遇到问题了
希望可以找到答案，如果真的无法的话，希望可以绕开这个问题，看看有没有别的做法
主要是 global 的初始化顺序问题
假如 A class 的 static member 的初始化需要 B class 的 static member 的值
而两个又都是 dynamic initialization，那要是 A 比 B 先初始化就会出问题了
想问有没有什么比较好的做法
要是可以把资料放在非 static 的 instance 里面其实也不会有这个问题
只是因为现在的程式除了字串处理和输入输出以外所有程式都是 Meta-Function
实在不想因为这个问题把 ToString 改成一般函数或是 function object
喂入的资料(Input)：
测试程式码
using mylist = make_list<char, int, float, Integer<150>::value, True, False>::
value;
std::cout << "orig: " << ToString<mylist>::value << std::endl;
std::cout << "head: " << ToString<head<mylist>::value>::value << std::endl;
std::cout << "init: " << ToString<init<mylist>::value>::value << std::endl;
std::cout << "tail: " << ToString<tail<mylist>::value>::value << std::endl;
std::cout << "last: " << ToString<last<mylist>::value>::value << std::endl;
预期的正确结果(Expected Output)：
orig: Char, Float, Int, 150, True, False
head: Char
init: Char, Float, Int, 150, True
tail: Float, Int, 150, True, False
last: False
错误结果(Wrong Output)：
会漏项，确定不是其他 Bug，因为我把 cout 顺序换一下……漏的字就换了……
而且写一般 function 来 print 确定 list 的内容是正确的，是 ToString 的问题
尝试过多种顺序之后还推出部分初始化顺序==
程式码(Code)：(请善用置底文网页, 记得排版)
这是 ToString 的程式码
因为太多了，所以只列出和 List 有关的部分
template <typename T>
struct ToString;
......
template <typename T, typename U>
struct ToString<List<T, U>>
{ static const std::string value; };
template <typename T, typename U>
const std::string ToString<List<T, U>>::value = std::string(ToString<T>::val
ue).append(", ").append(ToString<U>::value);
template <typename T>
struct ToString<List<T, null>> // struct null {};
{ static const std::string value; };
template <typename T>
const std::string ToString<List<T, null>>::value = ToString<T>::value;
List 和 make_list 在这里
template <typename T, typename U>
struct List
{
using data = T;
using next = U;
};
template <typename T, typename... Args>
make_list
{
using value = List<T, typename make_list<Args...>::value>;
};
template <typename T>
struct make_list<T>
{
using value = List<T, null>;
};
补充说明(Supplement)：
其实有想过自己做一个编译期的 String 类别，这样什么问题都没有了
只是有这么棒的 std::string 想不用都很难啊…而且也是有效能考量啦…
然后顺便问一下现在我的数字系统是用 succ 和 pred 组成的
就是单纯的加一就多包一层 succ 减一就包一层 pred 这样
如果是加法减法勉强还可以用，但是如果乘除法呢…甚至是其他运算或是很大的数字呢，
这样做不是保证效能悲剧的吗…
不知道在实务上 immutable 变量的数字系统可以怎么实作？
题外话 Meta-Programming 真的超有趣的，现在我已经忍不住开始想要怎么用这些方法写
排序 写Hash 写资料结构了 XDDD
最后感谢大家耐心看完和解答，如果资讯哪里不清楚会马上补上