[問題]

[CoNsTaR ((const *))]

開發平台(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


最後感謝大家耐心看完和解答，如果資訊哪裡不清楚會馬上補上

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.32.240.238
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1469727356.A.FBB.html
※ 編輯: CoNsTaR (114.32.240.238), 07/29/2016 01:43:39
推 s89227: 最不清楚的資訊是你的標題...
感謝提醒XD 太心急竟然忘了標題了 已補上
※ 編輯: CoNsTaR (114.32.240.238), 07/29/2016 01:50:20
※ 編輯: CoNsTaR (114.32.240.238), 07/29/2016 02:01:26
推 damody: 有趣耶
推 Ebergies: 1. 不要依賴 global variable 或手動初始化
→ Ebergies: 2. constexpr
1. 可是編譯期 class member 一定得是 global/static 啊
另外我也是在想要如何控制初始化順序才會來板上發問的 orz

2. 一個 member 如果是 constexpr 就一定得是 static ，如果是 static 一定就是 glo
bal scope……

不知道還有沒有什麼其他建議…

推 loveflames: function return l-value ref
這個我有嘗試過的確是可行的，但是希望 ToString 是一個 Meta-Function 而不是 func
tion 或是 function object…
※ 編輯: CoNsTaR (114.32.240.238), 07/29/2016 16:27:56
推 kevingwn: 給你參考 http://ideone.com/7r4oqm
感謝 這個方法不錯!!
話說那個 ... 也太威了吧
※ 編輯: CoNsTaR (114.32.240.238), 07/30/2016 13:15:27
→ Caesar08: 樓上這方法不錯
回報一下，後來發現原來同 TS 的 static 初始化順序並不是未定義

在 ISOIEC14882-1998 3.6.2 Initialization of nonlocal objects 裡規定，變數定義
的順序和初始化的順序相同，但這只在同一 TS 內
※ 編輯: CoNsTaR (114.32.240.238), 07/30/2016 20:10:43