Re: [問題] 初值陣列 對象為 指標時怎麼初始化

[LPH66 (かつて交わした約束)]

: 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://www.ptt.cc/bbs/C_and_CPP/M.1491034184.A.2A0.html
※ 編輯: LPH66 (180.177.29.238), 04/01/2017 16:10:09
推 Ommm5566: 看到大神先推
→ hunandy14: 看了好久還是不能理解QQ 容我一個一個問麼
→ hunandy14: std::integral_constant 裡面的
→ hunandy14: operator value_type() 這是什麼功用算是operator嗎
→ LPH66: 那是轉型用, 是在需要一個這種物件實體時才要的
→ LPH66: 跟本文的編譯時期常數無關
→ LPH66: operator() 也是一樣, 是在需要一個 functor 時才要的
推 hunandy14: Possible implementation 那裡 提到的 size_t
→ hunandy14: 連結到網頁內怎麼沒發現這個~
→ hunandy14: 我也順便去看了 functor 想請問那兩個有什麼差異~
→ hunandy14: operator value_type() || value_type operator()()
→ hunandy14: 然後為什麼 op 名稱還可以帶 value_type 字樣~
→ hunandy14: 看到的用法都是直接 operator()