Variable template type

Question

Just want to confirm that type of templated variable can be independent of template. This compiles by g++:

template<class T> 
constexpr long MAX_AS_LONG = static_cast<long>(std::numeric_limits<T>::max());

Does it confirm to the standard?

(In all the examples on the internet, type of templated variable is T itself).

Yep, it's allowed. Will you take our word for it or do you want a quote from the standard? — HolyBlackCat, Jan 17 '21 at 21:01
Bear in mind, those examples from the internet are typically focused on proving that the template produces different variables. So varying the type is just an easy way to prove it. — StoryTeller - Unslander Monica, Jan 17 '21 at 21:15
I hope it's not the actual fragment from your code. Cause it can very easily overflow with a T like size_t. — rustyx, Jan 17 '21 at 22:01
you should rather ask something like this https://stackoverflow.com/questions/1417113/biggest-integer-datatype-in-c — PiotrNycz, Jan 17 '21 at 22:19

score 0 · Accepted Answer · answered Jan 17 '21 at 23:34

0

There is no requirement the type of a template variable differs based on template arguments.

A common example is std::is_same_v<T,U> which is always a bool.

answered Jan 17 '21 at 23:34

1 Answers1