From 7499f70ea8b00882ceaa0e359e700513d526ec38 Mon Sep 17 00:00:00 2001 From: Light-City <455954986@qq.com> Date: Sat, 11 Jan 2020 18:24:35 +0800 Subject: [PATCH] update --- README.md | 1 + modern_C++_30/compilercompute/IF.cpp | 54 ++++++++++++++ modern_C++_30/compilercompute/WhileLoop.cpp | 77 ++++++++++++++++++++ modern_C++_30/compilercompute/a.out | Bin 0 -> 8888 bytes modern_C++_30/compilercompute/factorial.cpp | 24 ++++++ modern_C++_30/compilercompute/fmap.cpp | 39 ++++++++++ 6 files changed, 195 insertions(+) create mode 100644 modern_C++_30/compilercompute/IF.cpp create mode 100644 modern_C++_30/compilercompute/WhileLoop.cpp create mode 100755 modern_C++_30/compilercompute/a.out create mode 100644 modern_C++_30/compilercompute/factorial.cpp create mode 100644 modern_C++_30/compilercompute/fmap.cpp diff --git a/README.md b/README.md index 3b1a993..563544c 100644 --- a/README.md +++ b/README.md @@ -145,6 +145,7 @@ for(decl:col) { - [字面量、静态断言和成员函数说明符](./modern_C++_30/literalAssert) - [是不是应该返回对象？](./modern_C++_30/returnObj) - [编译期多态：泛型编程和模板入门](./modern_C++_30/compilerpoly) +- [译期能做些什么？一个完整的计算世界](./modern_C++_30/compilercompute) - [SFINAE：不是错误的替换失败是怎么回事?](./modern_C++_30/SFINAE) - [constexpr：一个常态的世界](./modern_C++_30/constexpr) diff --git a/modern_C++_30/compilercompute/IF.cpp b/modern_C++_30/compilercompute/IF.cpp new file mode 100644 index 0000000..a6c0682 --- /dev/null +++ b/modern_C++_30/compilercompute/IF.cpp @@ -0,0 +1,54 @@ +// +// Created by light on 19-12-28. +// + +#include + +using namespace std; + +// 使用template实现IF条件判断 + +template +struct IF; + + +template +struct IF { + typedef Then result; +}; + +template +struct IF { + typedef Else result; +}; + +// 判断奇数与偶数 +template +struct isEven { + static const auto RES = IF::result::value; +}; + +template +struct Add_ { + static const int value = nums1 + nums2; +}; + +template +struct Sub_ { + static const int value = nums1 - nums2; +}; + +// 加减 +template +struct addSub { + static const auto RES = IF, Sub_>::result::value; +}; + +int main() { + cout << isEven<10>::RES << endl; + cout << addSub::RES << endl; +} diff --git a/modern_C++_30/compilercompute/WhileLoop.cpp b/modern_C++_30/compilercompute/WhileLoop.cpp new file mode 100644 index 0000000..7bc556a --- /dev/null +++ b/modern_C++_30/compilercompute/WhileLoop.cpp @@ -0,0 +1,77 @@ +// +// Created by light on 20-1-5. +// + +#include + +using namespace std; + +// 使用template实现while循环 + +template +struct WhileLoop; + +template +struct WhileLoop { + typedef typename WhileLoop< + Body::cond_value, + typename Body::next_type>::type + type; +}; + +template +struct WhileLoop { + typedef + typename Body::res_type type; +}; + +template +struct While { + typedef typename WhileLoop::type type; +}; +template +using While_t = WhileLoop; + +namespace my { + template + struct integral_constant { + static const T value = v; + typedef T value_type; + typedef integral_constant type; + }; +} +template +struct SumLoop { + + // 循环的条件 + static const bool cond_value = + n != 0; + + // 循环后的结果 + static const int res_value = + result; + + // 循环时的状态 + typedef my::integral_constant< + int, res_value> + res_type; + + // 循环执行一次时的状态 + typedef SumLoop + next_type; +}; + +template +struct Sum { + typedef SumLoop<0, n> type; +}; + +template +using Sum_t = SumLoop<0, n>; + +int main() { + cout << While::type>::type::value << endl; + cout << While_t>::type::value << endl; + return 0; +} diff --git a/modern_C++_30/compilercompute/a.out b/modern_C++_30/compilercompute/a.out new file mode 100755 index 0000000000000000000000000000000000000000..bb8bb179bd8d31675b326f72a3e26f59660c787b GIT binary patch literal 8888 zcmeHMZ){W76~B%Nn17C;&<5HSmlh4m;wFJW7^02y2VRh&3_{1chF8aSh?!$Y_A?Dt zt1+b@T$(o9s)`SrG>LUmr+r}4rm?ANgMy$)`#`5v>r}SUs-42Ls;Np5>nPsu+;@)i z{Nj{#+PC#a&*z@s`E$>`@80|FJ^6M=WOJ3rqojD%{ffBJnKshGg67+~0@9+I)olFU zslKF0ZHC5dd5cXTwaYbjE!4-j7nJOpt8Bnc?_fQl5+TuQmQ^Anb8J+oQb7%n9mP60 zU$dY=T@iYm!>(+*H znNXwdH~A;sE!%hNmgs%UP*Kc_@DN7wqkp~o?H5mMeY)e>pItq7|3@!Ao%-;%WGfG< z|8aQ^nhPsvp8&SJ0{+4@`WJx*E9m!6qrYq#{a;L@PvaBB<1QNk1l=Hb8pTTeQg{zJ zD;`_Dn#O*eGR=McnY5X+qFKu{mD$;~&5S3qiG9hOmB@B&YfEL)iLPi*Dq+hiOCH|7 z%W6($a%N97mss1GPFn2^9S4*-6>lRPF~scV2eQeu)r%-%gHbbTB?glgGrh@lG?jcD z&6=dn5%x!uX|*NN+1j>ekGUqa)~=h4p~g^?GPfQucXH%ysc0^j$YB(!^q)O@>={M# z$fN(1l5w?GeGen-Bg&$&l zU!dHN@UPX_IIU4x2h_p^2QF)w@HZW}b6sC@;M^pst8oV|eIR_ofuqBva?OGBmZ@bY z87JSg{-m68;56P+Mjg0wUp9vR;WLg^AD$gl#^F(`s(8T|I^!Et#in}!6<2%(zctHR zP$RyN++Ds@L|L(%cxw9c1)8~d~|u-z)$zt>PG>1KAIZO`D(;7^nl9G zy}TEicHC(H!&!D`E|bgRh3?BOkW&4XL39Nj`55FB9yNa8MzN@C-D9MHmlr5JdA*Ro zHuU6mPrmUxPhKk)5#%ZuU4+;1Ug#Uci_cLD!%gRj9IJkbNa5W01_(#aYe%n;*{k$2 z$A3(n7#j(HJ^WB-;g8|nVZ5sqS7*=|4%giP-4!l;+F7_7Sw+qJjMJZb$AA4PnmPQw z6>NA*#y?W{BvQEAUictfTy)VG8uJ(%{+$0i&8=^ChaU-dhxdlfv60F5_0br*O8)fh zqdAS~u_CUgyytfBMgy_=@K|W-dC*^iz6^Q>G!A+No%sXkVuXJMbT8;4bjSi-3;HhT z6QJ}xqvCmdr}7L2Jh#uArBt$Vvar>&0RV>G}hk{k2aTs)+u;um&uI0pe5Ts)*B_Z_ z_?w4jZS%Ke{mo&2eb~RU)gOc&^jrNty${d8xIGF#w79=0UyQ*2(+J4LZG>7JQ(g|8>-UEU0quw2eHa($EY&r+7lIfm9f71>KZzER8&FZZHqVo*l; zqO)Xah%T&vIiKfBm1MAac*NgzzqxT_t9}n1U z)|dA0WM1_CRkZsDbq!$~(*1pHhOLNgUGoyx1oJ0Z{!iwaW$*txQo3KdTpr>6zrge- z@*-S%pO=+$>Xx>)uLf7{?#ZXEe6T6h6soUlXv}N2VU-O88|xd^H`F)O->eNUzP56& zcj|ia4VL?GIqp@K47fw!#f?(tp##PosxHmHa(rfKo|faYl)S%k+^6Kdm*caQ%&&5M zj*@v;j?Y!H9?S80YM{b<@~ZjjWJTOx%Dz8R)h(rakOPMPA|?AoIlfqp@I9y;zZLnCpcB${uewdidUp!F3agawP38C!6{v{I z?lq}R%YKIX5Xa5(Li?mgO^uWG$13Gl6Rz>6eUk8c*s=b3 zI&P1%AKCxG>T(3Xo(kjtBJfK6`nlE*s4M*5rQP3Ye2H4X<0kl9z^PvgSYMz0fX#&h z;qo1leVXhlwYv-g59ZG^vf)FIN}a~1jx)(B`Po1XRG6O;?Pu!z*{$_&nKBQ18JF)I zd8Kkt`$8|0^|R>}S=Mk8o9$n6 z12~P3d!0t%CxH21>sqI)wEpC}5Jycq9^oeG!y5Oi0iK@;7VQTfoK!2-jtF2`do~tzWlpePtyR`Ld)L&1Rzq%|zPD9#p;AXn(?t z=llB)!ophW$&E%+7GZJp)Iyq=~wa&LZ5fppJaQX60bNA zUg!^9_M>bsl+HuWBJB!x0u^Wck~b0Rz8<;z{}S6vGja|TdNX_b{66{qr~5yz#OrSV zRag6RpDR(GKVmQACj5C+{CIfTl + +using namespace std; + +template +struct factorial { + static_assert(n >= 0, "Arg must be non-negative"); + static const int value = n * factorial::value; +}; + +template<> +struct factorial<0> { + static const int value = 1; +}; + +int main() { + + printf("%d\n", factorial<-1>::value); + return 0; +} \ No newline at end of file diff --git a/modern_C++_30/compilercompute/fmap.cpp b/modern_C++_30/compilercompute/fmap.cpp new file mode 100644 index 0000000..c80043e --- /dev/null +++ b/modern_C++_30/compilercompute/fmap.cpp @@ -0,0 +1,39 @@ +// +// Created by light on 20-1-5. +// + +#include +#include + +using namespace std; + + +template< + template + class OutContainer = vector, + typename F, class R> +auto fmap(F &&f, R &&inputs) { + typedef decay_t result_type; + + OutContainer> result; + + for (auto &&item:inputs) { + result.push_back(f(item)); + } + return result; +} + +// 对每一个数进行加1操作 +int add_1(int x) { + return x + 1; +} + +int main() { + vector v{1, 2, 3, 4, 5}; + auto result = fmap(add_1, v); + + for (auto item:result) + cout << item << " "; + cout<