Dear all,
I realized an error in a previous post, I reproduce it here because I'm
still not sure how to solve it:
I want to make a templated function which points to one-past-the-end of
a simple array, to pass to a range constructor for a const vector.
Here is some demonstration code:
#include <iostream>
using namespace std;
const double a[]={
2.3,4.5,6.6,8.0,10.0
};
template<class T> T * endof( T parray[]){
int elementSize = sizeof(parray[0]);
int arraySize = sizeof(parray);
cout<<"Inside the function:"<<endl;
cout<<"Arraysize: "<<arraySize<<" Element size: "<<elementSize<<endl;
cout<<"Pointer to array start "<<parray<<endl;
int numel= arraySize/elementSize;
return (parray+numel);
};
int main (int argc, char * const argv[]) {
const double * pEnd=endof(a);
cout<<"Returned pointer: "<<pEnd<<endl<<endl;
cout<<"Outside the function: "<<endl;
cout<<"Array size: "<<sizeof(a);
cout<<" Element size: "<<sizeof(a[0])<<endl;
cout<<"Pointer to array start: "<<a<<endl;
int numElements=sizeof(a)/sizeof(a[0]);
const double * pEnd2= a+numElements;
cout <<"Pointer to one-past-end: "<<pEnd2<<endl<<endl;
cout<<"Pointer to a[5]"<<&(a[5])<<endl;
return 0;
}
...but my templated function doesn't work at all, here is the output:
Inside the function:
Arraysize: 4 Element size: 8
Pointer to array start 0xe9ef0
Returned pointer: 0xe9ef0
Outside the function:
Array size: 40 Element size: 8
Pointer to array start: 0xe9ef0
Pointer to one-past-end: 0xe9f18
Pointer to a[5]0xe9f18
.....
I can see that inside the function, the argument parray[] has somehow
lost its 'arrayness', so the sizeof(parray) returns the size of the
pointer. Outside the function, this works fine...am i missing some
detail of syntax or is my whole philosophy crooked?
cheers
shaun 9 2161
shaun wrote: Dear all, I realized an error in a previous post, I reproduce it here because I'm still not sure how to solve it:
I want to make a templated function which points to one-past-the-end of a simple array, to pass to a range constructor for a const vector. Here is some demonstration code:
#include <iostream> using namespace std; const double a[]={ 2.3,4.5,6.6,8.0,10.0 };
template<class T> T * endof( T parray[]){
This function takes a pointer to T.
int elementSize = sizeof(parray[0]); int arraySize = sizeof(parray);
This will give you the size of a pointer to T.
cout<<"Inside the function:"<<endl; cout<<"Arraysize: "<<arraySize<<" Element size: "<<elementSize<<endl; cout<<"Pointer to array start "<<parray<<endl; int numel= arraySize/elementSize; return (parray+numel); };
int main (int argc, char * const argv[]) { const double * pEnd=endof(a); cout<<"Returned pointer: "<<pEnd<<endl<<endl; cout<<"Outside the function: "<<endl; cout<<"Array size: "<<sizeof(a); cout<<" Element size: "<<sizeof(a[0])<<endl; cout<<"Pointer to array start: "<<a<<endl; int numElements=sizeof(a)/sizeof(a[0]); const double * pEnd2= a+numElements; cout <<"Pointer to one-past-end: "<<pEnd2<<endl<<endl; cout<<"Pointer to a[5]"<<&(a[5])<<endl; return 0; }
..but my templated function doesn't work at all, here is the output:
Inside the function: Arraysize: 4 Element size: 8 Pointer to array start 0xe9ef0 Returned pointer: 0xe9ef0
Outside the function: Array size: 40 Element size: 8 Pointer to array start: 0xe9ef0 Pointer to one-past-end: 0xe9f18
Pointer to a[5]0xe9f18
.... I can see that inside the function, the argument parray[] has somehow lost its 'arrayness', so the sizeof(parray) returns the size of the pointer.
Yes. It decayed into a pointer.
Outside the function, this works fine...am i missing some detail of syntax or is my whole philosophy crooked?
You can't pass arrays by value to a function. They will always get converted
to pointers. You'd probably not want to pass the array anway, because that
would copy the whole thing (passing by value means that the passed object
gets copied into the argument of the funciton)
What you can do is pass a reference:
template<class T, int Size> T * endof( T (&parray)[Size]){
return parray + Size;
}
shaun wrote: Dear all, I realized an error in a previous post, I reproduce it here because I'm still not sure how to solve it:
I want to make a templated function which points to one-past-the-end of a simple array, to pass to a range constructor for a const vector. Here is some demonstration code:
#include <iostream> using namespace std; const double a[]={ 2.3,4.5,6.6,8.0,10.0 };
template<class T> T * endof( T parray[]){ int elementSize = sizeof(parray[0]); int arraySize = sizeof(parray); cout<<"Inside the function:"<<endl; cout<<"Arraysize: "<<arraySize<<" Element size: "<<elementSize<<endl; cout<<"Pointer to array start "<<parray<<endl; int numel= arraySize/elementSize; return (parray+numel); };
int main (int argc, char * const argv[]) { const double * pEnd=endof(a); cout<<"Returned pointer: "<<pEnd<<endl<<endl; cout<<"Outside the function: "<<endl; cout<<"Array size: "<<sizeof(a); cout<<" Element size: "<<sizeof(a[0])<<endl; cout<<"Pointer to array start: "<<a<<endl; int numElements=sizeof(a)/sizeof(a[0]); const double * pEnd2= a+numElements; cout <<"Pointer to one-past-end: "<<pEnd2<<endl<<endl; cout<<"Pointer to a[5]"<<&(a[5])<<endl; return 0; }
..but my templated function doesn't work at all, here is the output:
Inside the function: Arraysize: 4 Element size: 8 Pointer to array start 0xe9ef0 Returned pointer: 0xe9ef0
Outside the function: Array size: 40 Element size: 8 Pointer to array start: 0xe9ef0 Pointer to one-past-end: 0xe9f18
Pointer to a[5]0xe9f18
.... I can see that inside the function, the argument parray[] has somehow lost its 'arrayness', so the sizeof(parray) returns the size of the pointer. Outside the function, this works fine...am i missing some detail of syntax or is my whole philosophy crooked?
cheers
shaun
Since you didn't specify a size for parray the compiler has no idea how
big it is. So you can't expect sizeof(parray) to give the size of the
array. Infact 'T parray[]' is just syntactic sugar for 'T* parray', so
you are correct in that it is just taking the size of a pointer.
Something like the following might work:
#include <iostream>
using namespace std;
double a[5] = {
2.3,4.5,6.6,8.0,10.0
};
template<class T, int N> T endof(T arr[N]) {
return (arr + N);
};
int main (int argc, char * const argv[]) {
double* pEnd = endof<double, 5>(a);
cout<<"Returned pointer: "<<pEnd<<endl<<endl;
cout<<"Outside the function: "<<endl;
cout<<"Array size: "<<sizeof(a);
cout<<" Element size: "<<sizeof(a[0])<<endl;
cout<<"Pointer to array start: "<<a<<endl;
int numElements=sizeof(a)/sizeof(a[0]);
const double * pEnd2= a+numElements;
cout <<"Pointer to one-past-end: "<<pEnd2<<endl<<endl;
cout<<"Pointer to a[5]"<<&(a[5])<<endl;
return 0;
}
But so far I can only get it to work with explicit instansiation of the
endof template and that kind of defeats the point of using it in the
first place. Maybe someone with a better knowledge of the ins and outs
of templates can help?
shaun wrote: Dear all, I realized an error in a previous post, I reproduce it here because I'm still not sure how to solve it:
I want to make a templated function which points to one-past-the-end of a simple array, to pass to a range constructor for a const vector. Here is some demonstration code:
#include <iostream> using namespace std; const double a[]={ 2.3,4.5,6.6,8.0,10.0 };
template<class T> T * endof( T parray[]){ int elementSize = sizeof(parray[0]); int arraySize = sizeof(parray); cout<<"Inside the function:"<<endl; cout<<"Arraysize: "<<arraySize<<" Element size: "<<elementSize<<endl; cout<<"Pointer to array start "<<parray<<endl; int numel= arraySize/elementSize; return (parray+numel); };
int main (int argc, char * const argv[]) { const double * pEnd=endof(a); cout<<"Returned pointer: "<<pEnd<<endl<<endl; cout<<"Outside the function: "<<endl; cout<<"Array size: "<<sizeof(a); cout<<" Element size: "<<sizeof(a[0])<<endl; cout<<"Pointer to array start: "<<a<<endl; int numElements=sizeof(a)/sizeof(a[0]); const double * pEnd2= a+numElements; cout <<"Pointer to one-past-end: "<<pEnd2<<endl<<endl; cout<<"Pointer to a[5]"<<&(a[5])<<endl; return 0; }
..but my templated function doesn't work at all, here is the output:
Hm, ponder a bit about :
template < typename T, unsigned long N >
unsigned long length_of ( T const (& arg) [N] ) {
return( N );
}
#include <iostream>
const double a[] = { 2.3, 4.5, 6.6, 8.0, 10.0 };
int main ( void ) {
std::cout << length_of( a ) << '\n';
}
I am not sure if the standard guarantees that this code prints "5" because I
am a little shaky about the precise meaning of the line
const double a[] = { 2.3, 4.5, 6.6, 8.0, 10.0 };
Best
Kai-Uwe Bux
OK, thanks all...after some experimenting, I came up with:
#include <iostream>
using namespace std;
const double a[]={
2.3,4.5,6.6,8.0,10.0
};
template<class T> T * endof( T parray[], long unsigned int s){
return (parray+s/sizeof(parray[0]));
};
int main (int argc, char * const argv[]) {
const double * pEnd=endof(a,sizeof(a));
cout<<"Returned pointer: "<<pEnd<<endl<<endl;
cout<<"Outside the function: "<<endl;
cout<<"Array size: "<<sizeof(a);
cout<<" Element size: "<<sizeof(a[0])<<endl;
cout<<"Pointer to array start: "<<a<<endl;
int numElements=sizeof(a)/sizeof(a[0]);
const double * pEnd2= a+numElements;
cout <<"Pointer to one-past-end: "<<pEnd2<<endl<<endl;
cout<<"Pointer to a[5]"<<&(a[5])<<endl;
return 0;
}
.....
This still allows me to add extra 'magic numbers' in my const array at
the top of the file without changing any subsequent code. I'm not
entirely happy that I have to pass both 'a' and 'sizeof(a)' since it
feels like the 'sizeof' should be redundant, but I understand why it
isn't.
cheers
shaun
shaun wrote: OK, thanks all...after some experimenting, I came up with:
#include <iostream> using namespace std; const double a[]={ 2.3,4.5,6.6,8.0,10.0 };
template<class T> T * endof( T parray[], long unsigned int s){ return (parray+s/sizeof(parray[0])); };
int main (int argc, char * const argv[]) { const double * pEnd=endof(a,sizeof(a)); cout<<"Returned pointer: "<<pEnd<<endl<<endl; cout<<"Outside the function: "<<endl; cout<<"Array size: "<<sizeof(a); cout<<" Element size: "<<sizeof(a[0])<<endl; cout<<"Pointer to array start: "<<a<<endl; int numElements=sizeof(a)/sizeof(a[0]); const double * pEnd2= a+numElements; cout <<"Pointer to one-past-end: "<<pEnd2<<endl<<endl; cout<<"Pointer to a[5]"<<&(a[5])<<endl; return 0; }
....
This still allows me to add extra 'magic numbers' in my const array at the top of the file without changing any subsequent code. I'm not entirely happy that I have to pass both 'a' and 'sizeof(a)' since it feels like the 'sizeof' should be redundant, but I understand why it isn't.
What about my solution?
template<class T, int Size> T * endof( T (&parray)[Size]){
return parray + Size;
} ....
This still allows me to add extra 'magic numbers' in my const array at the top of the file without changing any subsequent code. I'm not entirely happy that I have to pass both 'a' and 'sizeof(a)' since it feels like the 'sizeof' should be redundant, but I understand why it isn't.
What about my solution?
template<class T, int Size> T * endof( T (&parray)[Size]){ return parray + Size; }
Maybe I didnt properly understand, but isnt Size the number of elements?
If I change the const array at the top of the file, I would have to
change all my calls to reflect the new number of members.
shaun roe wrote: > .... > > This still allows me to add extra 'magic numbers' in my const array at > the top of the file without changing any subsequent code. I'm not > entirely happy that I have to pass both 'a' and 'sizeof(a)' since it > feels like the 'sizeof' should be redundant, but I understand why it > isn't.
What about my solution?
template<class T, int Size> T * endof( T (&parray)[Size]){ return parray + Size; }
Maybe I didnt properly understand, but isnt Size the number of elements? If I change the const array at the top of the file, I would have to change all my calls to reflect the new number of members.
In the syntax
template<class T, int Size> T * endof( T (&parray)[Size]){
return parray + Size;
}
the identifier "Size" is a template parameter. You will not need to change
anything. Try the following on your compiler, which uses the same trick:
template < typename T, unsigned long N >
unsigned long length_of ( T const (& arg) [N] ) {
return( N );
}
#include <iostream>
const double a[] = { 2.3, 4.5, 6.6, 8.0, 10.0 };
int main ( void ) {
std::cout << length_of( a ) << '\n';
}
This should print 5. Once you change it to
template < typename T, unsigned long N >
unsigned long length_of ( T const (& arg) [N] ) {
return( N );
}
#include <iostream>
const double a[] = { 2.3, 4.5, 6.6, 8.0 };
int main ( void ) {
std::cout << length_of( a ) << '\n';
}
it will print 4. As you can see, no change to the template is needed. The
compiler automatically deduces the correct value for Size (or N in my
version) upon initialization of the template at the point where it is
called.
Best
Kai-Uwe Bux
shaun roe wrote: > .... > > This still allows me to add extra 'magic numbers' in my const array at > the top of the file without changing any subsequent code. I'm not > entirely happy that I have to pass both 'a' and 'sizeof(a)' since it > feels like the 'sizeof' should be redundant, but I understand why it > isn't. What about my solution?
template<class T, int Size> T * endof( T (&parray)[Size]){ return parray + Size; }
Maybe I didnt properly understand, but isnt Size the number of elements?
Yes.
If I change the const array at the top of the file, I would have to change all my calls to reflect the new number of members.
No, you won't. You just call it like in your original posting. The number of
elements is automatically deduced. In the syntax
template<class T, int Size> T * endof( T (&parray)[Size]){ return parray + Size; }
the identifier "Size" is a template parameter. You will not need to change anything. Try the following on your compiler, which uses the same trick:
EXCELLENT! exactly what I wanted, many thanks!
shaun This thread has been closed and replies have been disabled. Please start a new discussion. Similar topics
by: tirath |
last post by:
Hi all,
I have a templated class that derives from a non-templated abstract class.
How do I then cast a base class pointer to a <templated> derived class
pointer in a generalised fashion?
...
|
by: Thomas Matthews |
last post by:
Hi,
I would like to create a table (or vector) of pointers
to templated functions.
1. How do I declare a typedef of a pointer to a templated
function?
For example, I have some functions...
|
by: __PPS__ |
last post by:
suppose I have class that has templated operator.
I want to have a few overloads/template specializations for different
types. Basicly, the biggest problem I have is to be able to have this:
...
|
by: Alexei A. Frounze |
last post by:
Hi all,
I have a question regarding the gcc behavior (gcc version 3.3.4).
On the following test program it emits a warning:
#include <stdio.h>
int aInt2 = {0,1,2,4,9,16};
int aInt3 =...
|
by: devmentee |
last post by:
Hello,
I am trying to create a map/dictionary where the type of key is known
ie std::string, but the value could be of any built in type. ie. int,
double etc. (something along the lines of...
|
by: mattjgalloway |
last post by:
I'm having some problems with a templated member function of a templated class. Unfortunately I can't replicate it with a simple example so I know something odd must be going on!!!
Basically it's...
|
by: domehead100 |
last post by:
I have a templated class, CDerived:
template <typename TValue, typename TDraw, typename TEdit ...>
class CDerived : public CBase
{
TValue m_Value
public:
TValue& GetValue() const
{
|
by: Bartc |
last post by:
I'm having problems with the following code.
I have a table of function pointers, and a function pointer variable p which
steps through the functions.
But I'm not allowed to increment the...
|
by: MikeC |
last post by:
Folks,
I've been playing with C programs for 25 years (not professionally -
self-taught), and although I've used function pointers before, I've never
got my head around them enough to be able to...
|
by: Charles Arthur |
last post by:
How do i turn on java script on a villaon, callus and itel keypad mobile phone
|
by: emmanuelkatto |
last post by:
Hi All, I am Emmanuel katto from Uganda. I want to ask what challenges you've faced while migrating a website to cloud.
Please let me know.
Thanks!
Emmanuel
|
by: nemocccc |
last post by:
hello, everyone, I want to develop a software for my android phone for daily needs, any suggestions?
|
by: Sonnysonu |
last post by:
This is the data of csv file
1 2 3
1 2 3
1 2 3
1 2 3
2 3
2 3
3
the lengths should be different i have to store the data by column-wise with in the specific length.
suppose the i have to...
|
by: Hystou |
last post by:
There are some requirements for setting up RAID:
1. The motherboard and BIOS support RAID configuration.
2. The motherboard has 2 or more available SATA protocol SSD/HDD slots (including MSATA, M.2...
|
by: marktang |
last post by:
ONU (Optical Network Unit) is one of the key components for providing high-speed Internet services. Its primary function is to act as an endpoint device located at the user's premises. However,...
|
by: Oralloy |
last post by:
Hello folks,
I am unable to find appropriate documentation on the type promotion of bit-fields when using the generalised comparison operator "<=>".
The problem is that using the GNU compilers,...
|
by: jinu1996 |
last post by:
In today's digital age, having a compelling online presence is paramount for businesses aiming to thrive in a competitive landscape. At the heart of this digital strategy lies an intricately woven...
|
by: isladogs |
last post by:
The next Access Europe User Group meeting will be on Wednesday 1 May 2024 starting at 18:00 UK time (6PM UTC+1) and finishing by 19:30 (7.30PM).
In this session, we are pleased to welcome a new...
| |