c++ - Why forwarding reference does not deduce to rvalue reference in case of rvalue? -

-

i understand that, given expression initializing forwarding/universal reference,lvalues deduced of type t& , rvalues of type t (and not t&&).

thus,to allow rvalues, 1 need write

template<class t, enable_if<not_<is_lvalue_reference<t> >,otherconds... > = yes> void foo(t&& x) {}

and not,

template<class t, enable_if<is_rvalue_reference<t>,otherconds... > = yes> void foo(t&& x) {}

my question , why forwarding references, rvalues deduced of type t , not t&& ? guess, if deduced t&& same referencing collapsing rule works t&& && same t&&.

because @ time, deducing rvalue a arguments a&& instead of a seen unnecessary complication , departure normal rules of deduction:

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2002/n1385.htm

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2002/n1377.htm

we didn't know if 1 exception of deduction rules (for lvalue a case), , never occurred dare ask 2 exceptions. so, benefit have had have been: makes impossible, possible.

after all, without single special deduction rule lvalue case, perfect forwarding impossible, n1385 aptly demonstrated.

even today's hindsight, adding special deduction rule client can avoid having negate template constraint, not seem high benefit/cost ratio. compared benefit/cost ratio shooting in 2002.


Comments

Post a Comment

Popular posts from this blog

Perl - how to grep a block of text from a file -

-
it can in xml or text format. how in general grep block of text in perl? <track type="ws"> <range> <rangestart>0</rangestart> <rangeend>146.912</rangeend> <locationindex>0</locationindex> <propertyindex>0</propertyindex> </range> </track> <track type="ps" id="1"> <range> <rangestart>0</rangestart> <rangeend>146.912</rangeend> <locationindex>1</locationindex> <propertyindex>1</propertyindex> </range> </track> i want grep type="ps" , till </range> . one solution open file, read line line , match block. open(fh, "file.txt"); foreach $line (<fh>) { if ($line =~ m/type="cc"(.*?)<\/range>/) { print $1; } } but there more optimal solution without reading file line l
Read more

delphi - How to remove all the grips on a coolbar if I have several coolbands? -

-
Image
if set mycoolbar.fixedorder true,only grip on first band hidden. well,if use delphi 7 create vcl forms application,then put coolbar on , create 3 coolbans hold other controls,only grip , top coolbands can hidden setting mycoolbar.fixedorder:=true. i've uploaded picture make things clear. you got fixedorder property wrong. fixed property not allow bands rearranged if set true . setting property of coolbar true keep user changing bands order @ runtime, user can still move , resize bands. can give advice can do, actual solution problem, well, have wait answer. my advice use 3 coolbars in row , setting "fixedorder" property true , bandborderstyle bsnone . way grip hidden on of them. about property, it's not bug of ide, actual preference of property.
Read more

javascript - Animating array of divs; only the final element is modified -

-
this baffling me @ moment. i'm experienced programmer looking throw bit of surprise fiancee on countdown page our wedding. desired effect simulated confetti falling behind main page. setup follows: i have array of divs in javascript. each div absolutely positioned on page. have interval set updates every 50 or milliseconds. on each tick, run loop on array of divs, , calculations , update positions. problem problem having, however, though can see divs created, stored array, , modified (in case, each has slight randomized rotation) during initialization phase, once tick update position starts, div stored in whatever last slot of array gets position updated. tried hard-coding each div index testing purposes, strictly last element update position. upon printing current "left" , "top" style values each div before , after calculations shows value has been changed, no visible change noticeable. here's basic code: javascript var container;
Read more