作者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/cn.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