Replacement for offsetof

[Fred Zwarts]

Consider the following definition:

typedef struct {
int a;
int b[100];
} s;

Now I have a function

void f (int i) { ... }

which needs to calculate the offset within s of b[i].

I used to use the offsetof macro for this purpose:

offsetof (s, b[i])

For most compiler environments offsetof is defined as a macro as follows
in stddef.h:

#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)

and in these cases my function works as I expected..

However, I now have a new compiler which uses a built-in function instead of this macro.
A error message is generated at compile time for my use of offsetof because
this built-in function requires that the second parameter of offsetof is a
compile-time constant. (I understand that there is some discussion about
the exact wording and interpretation of the standard with respect to the
constant requirement for offsetof.)

I have two questions, a theoretical and a practical one.

Why does the standard impose this limitation to offsetof?
It seems that there is a need to compute offsets that are not compile-time constants.

What is the best way to replace offsetof (s, b[i]) in such a way that the result is
defined according to the C++ standard?
I understand that the result of the usual macro is not really defined because
a) address 0 does not necessarily have the value 0 and
b) type casting an address to size_t is not necessary well defined in all environments.

Regards,
Fred.Zwarts.

[Ben Pope]

Fred Zwarts wrote:

Consider the following definition:

typedef struct {
int a;
int b[100];
} s;
In C++, it is preferred to do:
struct s {
int a;
int b[100];
};
Now I have a function

void f (int i) { ... }

which needs to calculate the offset within s of b[i].

Why?

Ben Pope
--
I'm not just a number. To many, I'm known as a string...

[Fred Zwarts]

"Ben Pope" <be************ ***@gmail.com> wrote in message news:44******** **************@ taz.nntpserver. com...

Fred Zwarts wrote:

Consider the following definition:

typedef struct {
int a;
int b[100];
} s;

In C++, it is preferred to do:
struct s {
int a;
int b[100];
};

Now I have a function

void f (int i) { ... }

which needs to calculate the offset within s of b[i].

Why?

Because the result must be added to a base address to find the address of a hardware register.

Fred.Zwarts.

[Ben Pope]

Fred Zwarts wrote:

"Ben Pope" <be************ ***@gmail.com> wrote in message news:44******** **************@ taz.nntpserver. com...

Fred Zwarts wrote:

Consider the following definition:

typedef struct {
int a;
int b[100];
} s;

In C++, it is preferred to do:
struct s {
int a;
int b[100];
};

Now I have a function

void f (int i) { ... }

which needs to calculate the offset within s of b[i].

Why?

Because the result must be added to a base address to find the address of a hardware register.

s var;
reinterpret_cas t<int*>(&(var. b[i])) - reinterpret_cas t<int*>(&var)

Assuming int is the word size of your architecture, or at least the size
of your hardware registers.

It's not nice, but obviously portability is not a factor.

Ben Pope
--
I'm not just a number. To many, I'm known as a string...

[Andre Kostur]

Ben Pope <be************ ***@gmail.com> wrote in
news:44******** **************@ taz.nntpserver. com:

Fred Zwarts wrote:

"Ben Pope" <be************ ***@gmail.com> wrote in message
news:44******** **************@ taz.nntpserver. com...

Fred Zwarts wrote:
Consider the following definition:

typedef struct {
int a;
int b[100];
} s;
In C++, it is preferred to do:
struct s {
int a;
int b[100];
};

Now I have a function

void f (int i) { ... }

which needs to calculate the offset within s of b[i].
Why?

Because the result must be added to a base address to find the
address of a hardware register.

s var;
reinterpret_cas t<int*>(&(var. b[i])) - reinterpret_cas t<int*>(&var)

Assuming int is the word size of your architecture, or at least the
size of your hardware registers.

It's not nice, but obviously portability is not a factor.

Or how about:

offsetof(s, b) + (i * sizeof(b[0]))

Determine the offset of the array b within the struct, then add the index
distance into b.

[Fred Zwarts]

"Ben Pope" <be************ ***@gmail.com> wrote in message news:44******** **************@ taz.nntpserver. com...

Fred Zwarts wrote:

"Ben Pope" <be************ ***@gmail.com> wrote in message news:44******** **************@ taz.nntpserver. com...

Fred Zwarts wrote:
Consider the following definition:

typedef struct {
int a;
int b[100];
} s;
In C++, it is preferred to do:
struct s {
int a;
int b[100];
};

Now I have a function

void f (int i) { ... }

which needs to calculate the offset within s of b[i].
Why?

Because the result must be added to a base address to find the address of a hardware register.

s var;

This allocates a variable from the stack, which could in some cases consume quite some memory.
(The type s is just an example. The real world structs can be much more complex and much larger.
VME memory can be quite large.)
Is there a way to calculate the offset without allocating memory.
reinterpret_cas t<int*>(&(var. b[i])) - reinterpret_cas t<int*>(&var)
I wonder whether the address arithmetic is correct.
You subtract two int* addresses.
Shouldn't you subtract two integers?
Probably you meant reinterprete_ca st<int>.
Assuming int is the word size of your architecture, or at least the size
of your hardware registers.

It's not nice, but obviously portability is not a factor.

As a matter of fact, portability is a factor.
The code is used for access to VME devices.
The code is used on different processors with different VME interfaces
(and different compilers).
Probably reinterprete_ca st<size_t> instead of reinterprete_ca st<int> will
already be more general.

But I wonder what the general solution is
with a well defined behavior according to the C++ standard.

Fred.Zwarts.

[Fred Zwarts]

"Andre Kostur" <nn******@kostu r.net> wrote in message news:Xn******** *************** *******@207.35. 177.134...

Ben Pope <be************ ***@gmail.com> wrote in
news:44******** **************@ taz.nntpserver. com:

Fred Zwarts wrote:

"Ben Pope" <be************ ***@gmail.com> wrote in message
news:44******** **************@ taz.nntpserver. com...
Fred Zwarts wrote:
> Consider the following definition:
>
> typedef struct {
> int a;
> int b[100];
> } s;
In C++, it is preferred to do:
struct s {
int a;
int b[100];
};

> Now I have a function
>
> void f (int i) { ... }
>
> which needs to calculate the offset within s of b[i].
Why?


Because the result must be added to a base address to find the
address of a hardware register.

s var;
reinterpret_cas t<int*>(&(var. b[i])) - reinterpret_cas t<int*>(&var)

Assuming int is the word size of your architecture, or at least the
size of your hardware registers.

It's not nice, but obviously portability is not a factor.

Or how about:

offsetof(s, b) + (i * sizeof(b[0]))

Determine the offset of the array b within the struct, then add the index
distance into b.

Thanks, that seems to be a portable solution in this simple case.
But now suppose b is defined as
int b[sizeA][sizeB][SizeC];
Of course I can write out the complete indexing arithmetic to get
the offset of b[i][j][k].
The nice thing of the old offsetof behavior was that the compiler
did it for me.
I am looking for a macro which can easily replace offsetof.

Fred.Zwarts.

[Ben Pope]

Fred Zwarts wrote:

"Ben Pope" <be************ ***@gmail.com> wrote in message news:44******** **************@ taz.nntpserver. com...

s var;
This allocates a variable from the stack, which could in some cases consume quite some memory.
(The type s is just an example. The real world structs can be much more complex and much larger.
VME memory can be quite large.)
Is there a way to calculate the offset without allocating memory.

Understood. I assumed you'd do the arithmetic on an already allocated
struct, or overlay a struct over your registers with a placement new
(neither of which would necessarily require an allocation).

reinterpret_cas t<int*>(&(var. b[i])) - reinterpret_cas t<int*>(&var)

I wonder whether the address arithmetic is correct.
You subtract two int* addresses.
Shouldn't you subtract two integers?
Probably you meant reinterprete_ca st<int>.

Nope. I take advantage of pointer arithmetic. This gives you the
offset in sizeof(int) steps.

Assuming int is the word size of your architecture, or at least the size
of your hardware registers.

It's not nice, but obviously portability is not a factor.

As a matter of fact, portability is a factor.

OK, but if it's mapped to registers, I figured it would be platform
specific.
The code is used for access to VME devices.
The code is used on different processors with different VME interfaces
(and different compilers).
Probably reinterprete_ca st<size_t> instead of reinterprete_ca st<int> will
already be more general.
Why? size_t is just as variable as int, or indeed int*.
But I wonder what the general solution is
with a well defined behavior according to the C++ standard.

The behaviour I describe is well defined. It's just specific to the
architecture, or more specifically, the size of int. It's just as
dependant on the architecture as the struct itself.

Andre Kostur has a solution that will work for you if you don't already
have a struct in existence or is not accessible.

Ben Pope
--
I'm not just a number. To many, I'm known as a string...