作者LPH66 (かつて交わした約束)
看板C_and_CPP
標題Re: [問題] 初值陣列 對象為 指標時怎麼初始化
時間Sat Apr 1 16:09:40 2017
: template<class ...U>
: Arr(U ...args):arr(new T[std::tuple_size<decltype(std::make_tuple(args...))>::
: value]{args...}){}
: 推 hunandy14: :: 不是用來指定看是哪一個class 或是哪一個namesp 嗎 03/31 15:05
: → hunandy14: 為什麼這裡可以用來返回一個數值，怎做到的 03/31 15:06
: 推 LPH66: 呃? 你講的是哪一個 :: ? 03/31 18:08
: 推 hunandy14: std::tuple_size<decltype(std::make_tuple(args...))> 04/01 13:50
: → hunandy14: ::value 04/01 13:50
: → hunandy14: 這個，不好意思沒說清楚 04/01 13:50
簡單拆解一下這個東西
最外層是 std::tuple_size<(下述)>::value
這是 std::tuple_size<> 這個模版結構的 value 成員
這個模版是設計得使得這個 value 成員是一個靜態的編譯時期常數
其值為它在 <> 裡面的 tuple<> 型態其元素個數
例如說 std::tuple_size<tuple<int,float,double>>::value 的值就是 3
這裡在 tuple_size<> 裡面的是 decltype(std::make_tuple(args...)) 這一串東西
它會求出「把所有參數做成 tuple 之後的那個 tuple 型態」
於是加上模版參數 U 的推導就可以求出 U 裡面有多少個東西了
====
至於 std::tuple_size 是怎麼求出來的
它用的是下面 loveflame 回答的另一個方法:
: 後來查到一個不用tuple獲得size的方式
: template<class ...U>
: Arr(U ...args):arr(new T[sizeof...(args)]{args...}){}
在 cppreference 裡面表示 tuple_size 是如此實作的:
template< class... Types >
class tuple_size< std::tuple<Types...> >
: public std::integral_constant<std::size_t, sizeof...(Types)> { };
http://en.cppreference.com/w/cpp/utility/tuple/tuple_size
std::integral_constant 這個模版就是提供 value 這個成員的指定介面
這模版有兩個模版參數, 第一個是型態, 第二個是值
然後它會有這個 value 這個 static constexpr 成員
其型態是第一模版參數, 其值是第二模版參數
(參考實作可看
http://en.cppreference.com/w/cpp/types/integral_constant
下面 Possible implementation 那裡)
那在這裡可以看到它用的型態是 std::size_t, 值為 sizeof...(Types)
這後一個 sizeof... 運算子就是用來求出模版參數 Types 裡有多少個東西
http://en.cppreference.com/w/cpp/language/sizeof...
正是這個東西提供了我們所要的值
--
'You've sort of made up for it tonight,' said Harry. 'Getting the
sword. Finishing the Horcrux. Saving my life.'
'That makes me sound a lot cooler then I was,' Ron mumbled.
'Stuff like that always sounds cooler then it really was,' said
Harry. 'I've been trying to tell you that for years.'
-- Harry Potter and the Deathly Hollows, P.308
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 180.177.29.238
※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1491034184.A.2A0.html
※ 編輯: LPH66 (180.177.29.238), 04/01/2017 16:10:09
1F：推 Ommm5566: 看到大神先推 04/01 20:25
2F：→ hunandy14: 看了好久還是不能理解QQ 容我一個一個問麼 04/03 22:31
3F：→ hunandy14: std::integral_constant 裡面的 04/03 22:33
4F：→ hunandy14: operator value_type() 這是什麼功用算是operator嗎 04/03 22:34
5F：→ LPH66: 那是轉型用, 是在需要一個這種物件實體時才要的 04/04 02:22
6F：→ LPH66: 跟本文的編譯時期常數無關 04/04 02:22
7F：→ LPH66: operator() 也是一樣, 是在需要一個 functor 時才要的 04/04 06:35
8F：推 hunandy14: Possible implementation 那裡 提到的 size_t 04/04 17:31
9F：→ hunandy14: 連結到網頁內怎麼沒發現這個~ 04/04 17:32
10F：→ hunandy14: 我也順便去看了 functor 想請問那兩個有什麼差異~ 04/04 17:33
11F：→ hunandy14: operator value_type() || value_type operator()() 04/04 17:34
12F：→ hunandy14: 然後為什麼 op 名稱還可以帶 value_type 字樣~ 04/04 17:35
13F：→ hunandy14: 看到的用法都是直接 operator() 04/04 17:36