Question about N3987

[Ryou Ezoe]

N3987 propose many type traits for querying type informations.

It said
"Many of them are just check if in the declaration of the parameter
type have a particular keyword"

But there are some traits that informations can be implicitly determined.

for example,
Some special member functions can be implicitly defaulted or deleted
or use the base class's exception specification.
Member functions defined in the class definition is implicitly inline.

Does the type traits proposed in N3987 returns true for that implicit case?


--
Ryou Ezoe

Occupation: DWANGO Co., Ltd.

Blog: http://cpplover.blogspot.com/
Twitter: https://twitter.com/EzoeRyou
GitHub: https://github.com/EzoeRyou

[Cleiton Santoia]

It says "Many" not "all" :)

But you are right, says there "marked as delete" in the proposal, and this implicit case is not explicitly addressed in proposal, but should be, I'm gonna put this in the next revision.

And about your question I think that even if they are implicit or explicit, it should not change the result of is_default<> or is_deleted<> nor is_inline<>.

Anyway may be important an is_implicit<> trait for these cases.

Thanks