Adding const to function template pointer argument

Question

Consider:

template<typename X>
inline typename std::enable_if< std::is_pointer<X>::value, void>::type
replyOk(X pointer)
{
    *pointer = *pointer; //for sake of example
}

Is it possible to add constness to the pointed data so that *pointer = *pointer creates a compiler error.

For example I can do

...
replyOk(X const pointer)
...

But this adds constness to the variable pointer not what it points to. I'm not sure that even makes sense...

what about static_assert ? (I not sure to understand what you are trying to achieve here) — willll
– willll, Commented Jul 6, 2017 at 17:11

T.C. · Accepted Answer · 2017-07-06 17:07:14Z

3

I don't see the point of the enable_if.

template<typename X>
inline void replyOk(const X* pointer) {
  //...
}

answered Jul 6, 2017 at 17:07

T.C.

139k18 gold badges306 silver badges440 bronze badges

Sign up to request clarification or add additional context in comments.

2 Comments

Lightness Races in Orbit Over a year ago

Not quite equivalent but, assuming the OP only really cares about object pointers, this is much better. KISS.

Mario Over a year ago

Indeed that work fine, but that tells me I'm missing some basic concept about how the type resolution with template works. If I remove the * it still works fine! But there is a difference. The typeid of X and pointer changes. Without the *, X is pointer, but with the * , X it is. I was not excepted that. Thanks.

Collectives™ on Stack Overflow

Adding const to function template pointer argument

1 Answer 1

2 Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

2 Comments

Your Answer

Sign up or log in

Post as a guest

Related