開發平台(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
最後感謝大家耐心看完和解答，如果資訊哪裡不清楚會馬上補上