Re: template syntax to destinguish pointer and objects..?
On 2 Jul., 20:49, "Igor Tandetnik" <itandet...@mvps.org> wrote:
.rhavin grobert <cl...@yahoo.de> wrote:
i have that following little template that defines some type of
vector. it works with structs and i want to use it also for simple
pointers.
the problem is, in following function...
______________________________________
template <class T, typename I>
T& CQVector<T,I>::add(I id)
{
critical_enter();
int iIndex = find_id(id);
if (iIndex < 0)
{
T t(id); // **** <-- here ****
m_vec.push_back(t);
iIndex = m_vec.size() - 1;
}
critical_leave();
return m_vec[iIndex];
You haven't asked about this, but I'm going to comment anyway. I assume
critical_enter() and critical_leave() are entering and leaving a
critical section, and the goal is to have the container thread-safe
(which is usually misguided, but I won't concentrate on that). However,
you return a reference to an element inside the vector, and access to
this reference is not in any way protected. This reference may become
invalid as soon as the function returns, when another thread adds an
element and the vector has to grow and reallocate its memory.
if that funtion is called, you either dont need the return or use fact
that critical_enter() and critical_leave() ar public functions, eg:
MyVec.critical_enter();
whatever = MyVec[10];
MyVec.critical_leave();
Besides, std::vector itself is not thread-safe. You don't put, say,
m_vec[iIndex] call inside a critical section: it may break if another
thread modifies the vector at the same time.
...the line T t(id); doenst work, what simply doesnt matter, because
that whole function is never needed if i have CQVector<some*>. So, how
do i tell the compiler to please dont try to compile it IF we have a
CQVector of pointers?
You don't need to do anything special - just don't call it. If you never
call a method of a template, it is never instantiated.
I dont call it! i just try to compile the posted test. please compile
it and see what i mean. Of course it should not be used, but the
compiler (vc6 sp5) says me that it cannot do a conversion of (my
typename I here) to (my class T) at the marked position.
I tried to add the following function
______________________________________
template <class T, typename I>
T& CQVector<T,I>::add(T* t)
If T is a pointer type (e.g. int*), this method accepts a double pointer
as a parameter (int**). Is that what you want? Do you expect to pass
double pointers this way?
no, i just want to give two diferent functions, one for
objects(structs/classes/whatever) (T) and one for pointers to whatever
(T*)
...and used the following scenario to test it...
______________________________________
struct test {
test(int = 0) {};
bool operator==(test const&) const {return false;};
bool operator<(test const&) const {return false;};
int ID() const {return 1;};
};
CQVector<test, int> tv1;
CQVector<test*, int> tv2;
______________________________________
but then the first vector uses that newly added function
What do you mean, uses? The code above doesn't call any flavor of add(),
as far as I can tell.
yes, as far as i can tell, too! that's why i ask. please compile and
see yourself.
so _how_ do i put this in correct syntax?
Didn't you say that you don't need to call add() on a CQVector of
pointers? If you never call it, why do you care about its syntax?
see above;-/
if CQVector<obj, x> use T& CQVector<T,I>::add(T const& t)
if CQVector<obj*, x> use T& CQVector<T,I>::add(T* const t)
Why? Do you plan to pass obj** to CQVector<obj*, x>::add ?
thanks for you thoughts (really), but i still need a solution;-(