c++ - How to implement recursive "using"/extract template parameters -


so asked question deleted it, found interesting challenge.

they had weird type, , had run problem concat , range castable sequences not sequences (for obvious reasons)

template<unsigned... is> struct sequence{};      template<typename... is> struct concat{}; template<unsigned... is> struct concat<sequence<is...>> : public sequence<is...> {}; template<unsigned... is, unsigned... js, typename... rest> struct concat<sequence<is...>, sequence<js...>, rest...>    : concat<sequence<is..., js...>, rest...> {};

so figured it'd interesting challenge right, making same type.

so first pass @ concat ran unexpected problems...how on earth 1 extract template parameters sequences? ended using function below:

template <unsigned... is,unsigned... js> constexpr auto concat_results(sequence<is...>,sequence<js...>) -> sequence<is...,js...> {   return sequence<is...,js...>(); }   template <typename seq1,typename seq2> using concat = decltype(concat_results(seq1(),seq2()));

bizarrely, think that's shortest way declare it, though little weird. however, concat_results useful (on references of sequences) , type can useful in other places. have better way that?

next range, did recursive struct helper:

template <unsigned n> struct nrange_helper {   using range = concat<typename nrange_helper<n-1>::range,sequence<n>>; };  template <> struct nrange_helper<0> {   using range = sequence<0>; };  template <unsigned n> using range = typename nrange_helper<n>::range;

again, weird, works...but feel there should better way. got one?

note: please check out std::integer_sequence, specialization index_sequence , make_index_sequence , index_sequence_for facilities.

if want declare them yourself, use inner types:

template <typename, typename> struct concat;  template <unsigned... is, unsigned... js> struct concat<sequence<is...>,sequence<js...>> {     using type = sequence<is..., js...>; };  template <unsigned n> struct range {     using type = typename concat<typename range<n-1>::type, sequence<n>>::type; };  template <> struct range<0> { using type = sequence<0>; };

which can of course combined template aliases shorter final form:

 template <typename, typename> struct concath;  template <unsigned... is, unsigned... js> struct concath<sequence<is...>,sequence<js...>> {     using type = sequence<is..., js...>; };  template <typename l, typename r> using concat = typename concath<l, r>::type;

and:

template <unsigned n> struct rangeh {     using type = concat<typename rangeh<n-1>::type, sequence<n>>; };  template <> struct rangeh<0> { using type = sequence<0>; };  template <unsigned n> using range = typename rangeh<n>::type;

however, indeed, verbose. still, there little cruft here:

  • baseline declaration
  • specialization (to end recursion or limit "interesting" types)
  • alias declaration

on other hand it's written once.


-

Comments

Post a Comment

Popular posts from this blog

html - Sizing a high-res image (~8MB) to display entirely in a small div (circular, diameter 100px) -

first of all, thank being patient know simple question more couple of weeks' experience figure out. i've seen folks persevere , helpful on here , hope you're willing me. here fiddle: http://jsfiddle.net/65uzf/ here 1 of places searched answers on here: ( vertically center image thumbnails fix-sized div ) tried solutions on there , didn't work out me. i've searched ~4 or 5 others, , been unsuccessful those, too. what want take large image (what linked background-image #ysypic , #tabpic divs) , display thumbnail version of image in confines of divs have set it. is, using background properties have laid out in css, portion of image displays inside of circular divs. without these properties, display defaults smaller section of image [presumably pi*(50^2) area in top left] terrible resolution. i not care if entire image doesn't display inside of circles (it won't, given difference in shape), , overflow not being displayed fine. want able see figu
Read more

java - IntelliJ - No such instance method -

using intellij's 12 ultimate, i'm running following code in debugger: java import play.api.libs.json.jsvalue; public class foo { ... public jsvalue tojson() { ... } public class fooexample { ... foo foo = new foo(); system.out.println("...); //<-- breakpoint at breakpoint, right-clicked source code , picked "evaluate expression," typing in: foo.tojson() . but following error showed up: no such instance method: play.api.libs.json.jsvalue$class.com.foo.foo.tojson () am doing wrong? foo#tojson calls scala code, if matters. edit had breakpoint after instantiation of foo. downvoted it, deserved it. edit my answer no longer valid after op modified question (i.e. moved breakpoint actual is).. a breakpoint hit before line executed. in case foo has not yet been declared or instantiated (i.e. foo constructor has not yet been called). you'll need put breakpoint @ next line (or step on current line) if want evaluate foo .
Read more

identifier - Is it possible for an html5 document to have two ids? -

i wondering if html5 element can have 2 ids, this: <button id="thing1" id="thing2" name="button1" onclick="change()">click here</button> or this: <button id="thing1, thing2" name="button1" onclick="change()">click here</button> also, if 1 of ids said 1 thing, , other id said thing, 1 used? tl;dr : no. in versions of html, each element can have 1 id. see the spec : the id attribute specifies element's unique identifier (id). [dom] the value must unique amongst ids in element's home subtree , must contain @ least 1 character. the value must not contain space characters. note: there no other restrictions on form id can take; in particular, ids can consist of digits, start digit, start underscore, consist of punctuation , etc. note: element's unique identifier can used variety of purposes, notably way link specific parts of document usin
Read more