c - Why "*(&arr+4)" is different then "&arr[4]"? - 


int arr[] = { 0, 1, 2, 3, 4, 5 };

i performing address operation tests, increase understanding of ref , deref. here lot of confusion.

i found out &*(arr+4) uses same address &arr[4]but never met such assignment &*

also figured *(&arr+4) uses same address &arr+4 doesn't make sense me.

i couldn't find info that, ask here, why *(&arr+4) uses same address &arr+4 , why *(&arr+4) different &arr[4]?

arr array:

arr: int[6] [0|1|2|3|4|5]

when used in expression other sizeof arr or &arr, array decays pointer first element of array:

(arr+0): int * [*]  |  v [0|1|2|3|4|5]

when integral value added pointer, pointer address (sizeof (t)) * n bytes later in memory (where t type pointed pointer, , n integral value added pointer):

(arr+4): int *         [*]          |          v [0|1|2|3|4|5]

when pointer dereferenced, value pointed to:

*(arr+4): int           4 /* specifically, 4 in fifth position in `arr` */ [0|1|2|3|[4]|5]

when address taken of int, pointer points int:

&*(arr+4): int *         [*] /* notice, same (arr+4) */          |          v [0|1|2|3|4|5]

array indexing equivalent pointer-addition followed dereferencing:

arr[4] == *(arr+4) /* see above definition of *(arr+4) */

so yes... &*(arr+4) , &arr[4] equivalent.

when address of array taken, pointer array:

&arr: int (*)[6] [*] /* points array whole, not first element of array */  |  v  [0|1|2|3|4|5]

when increment pointer, same rules apply above:

                                    &arr + 4: int(*)[6]                /*points memory that*/    [*]                /* isn't part of array... */     |                /*  undefined behaviour       */     v [0|1|2|3|4|5][x|x|x|x|x|x][x|x|x|x|x|x][x|x|x|x|x|x][x|x|x|x|x|x]

since has undefined behaviour, can't reason without reference underlying machine architecture , compiler implementation.

if imagine defined (as case if arr part of larger array)... can continue. dereferencing pointer array gives array again:

             /*the 5th array in array of arrays*/ *(&arr+4): int[6]    [0|1|2|3|4|5][x|x|x|x|x|x][x|x|x|x|x|x][x|x|x|x|x|x][[x|x|x|x|x|x]]

you find *(&arr+4) , (&arr+4) have same address, since *(&arr+4) decays pointer first element of *(&arr+4), , array starts @ first element, pointer start of array , pointer first element of array identical.

*(&arr+4) different &arr[4] since refers different thing (see above).


Comments

Post a Comment

Popular posts from this blog

inversion of control - Autofac named registration constructor injection -

does autofac support specifying registration name in components' constructors? example: ninject's namedattribute . you need use autofac.extras.attributed package on top achieve this so let's have 1 interface , 2 classes: public interface ihello { string sayhello(); } public class englishhello : ihello { public string sayhello() { return "hello"; } } public class frenchhello : ihello { public string sayhello() { return "bonjour"; } } then have consumer class, in want select instance injected: public class helloconsumer { private readonly ihello helloservice; public helloconsumer([withkey("en")] ihello helloservice) { if (helloservice == null) { throw new argumentnullexception("helloservice"); } this.helloservice = helloservice; } public string sayhello() { return this.helloservice.sayhello()...
Read more

ios - Change Storyboard View using Seague -

i have following code checks connection server, , depending on want change views if no connection found. nsstring *connect = [nsstring stringwithcontentsofurl:[nsurl urlwithstring:@"http://myserver.com"] encoding:nsutf8stringencoding error:nil]; if (connect == null) { [self performseguewithidentifier:@"network_failure" sender:self]; } else { // other code here } my problem not change views. have added storyboard segue between 2 views identifier of network_failure . not have navigation controller or that, problem? thanks help! no not problem. first of all, in objectivec exists nil object oriented null . must use that. so: if(connect == nil) or better: if(!connect) so due fact nil not same of null , probably code does't enter in if scope . you have been able discover breakpoint. anyway: be sure set trigger segue (line) 2 view controller , , name network_failure (that not best name. should instead view1toview2 ) as, m...
Read more

verilog - Systemverilog dynamic casting issues -

i've code snippet following in testbench function void write_to_port( my_data_type_base data ); my_data_type_extended data_ext; if(!$cast(data_ext, data)); `uvm_error(get_type_name(), "failed cast"); `uvm_info(get_name(), $psprintf("data_ext :\n%s", data_ext.sprint()), uvm_medium) // write data_ext out port.... endfunction when run it, i'm getting uvm_error "failed cast." i'm not quire sure why $cast not returning 1. can see, i'm printing out extended class data item after casting uvm_info. can see it's being cast properly. if don't use $cast if condition, don't runtime error. isn't coding practice use if dynamic cast check if $cast returning 1 ? what might reason behind cast not returning 1 in above case? i think semicolon on line 'if' not belong? i think consumes if statement, , uvm_error executes regardless of how if evaluates: if(!$cast(data_ext, data)); <- no semico...
Read more