作者CoNsTaR ((const *))
看板C_and_CPP
標題[問題]
時間Fri Jul 29 01:35:53 2016
開發平台(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://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1469727356.A.FBB.html
※ 編輯: CoNsTaR (114.32.240.238), 07/29/2016 01:43:39
1F：推 s89227: 最不清楚的資訊是你的標題...07/29 01:42
感謝提醒XD 太心急竟然忘了標題了 已補上
※ 編輯: CoNsTaR (114.32.240.238), 07/29/2016 01:50:20
※ 編輯: CoNsTaR (114.32.240.238), 07/29/2016 02:01:26
2F：推 damody: 有趣耶07/29 08:09
3F：推 Ebergies: 1. 不要依賴 global variable 或手動初始化07/29 10:17
4F：→ Ebergies: 2. constexpr07/29 10:17
1. 可是編譯期 class member 一定得是 global/static 啊
另外我也是在想要如何控制初始化順序才會來板上發問的 orz
2. 一個 member 如果是 constexpr 就一定得是 static ，如果是 static 一定就是 glo
bal scope……
不知道還有沒有什麼其他建議…
5F：推 loveflames: function return l-value ref07/29 10:18
這個我有嘗試過的確是可行的，但是希望 ToString 是一個 Meta-Function 而不是 func
tion 或是 function object…
※ 編輯: CoNsTaR (114.32.240.238), 07/29/2016 16:27:56
感謝 這個方法不錯!!
話說那個 ... 也太威了吧
※ 編輯: CoNsTaR (114.32.240.238), 07/30/2016 13:15:27
7F：→ Caesar08: 樓上這方法不錯07/30 13:17
回報一下，後來發現原來同 TS 的 static 初始化順序並不是未定義
在 ISOIEC14882-1998 3.6.2 Initialization of nonlocal objects 裡規定，變數定義
的順序和初始化的順序相同，但這只在同一 TS 內
※ 編輯: CoNsTaR (114.32.240.238), 07/30/2016 20:10:43