Я нашел код здесь, который выглядел примерно так:
auto f(T& t, size_t n) -> decltype(t.reserve(n), void()) { .. }
Во всей документации, которую я читал, мне сказали, что decltype подписано как:
decltype( entity )
or
decltype( expression )
И нигде нет второго аргумента. По крайней мере, это указано в cppreference. Является ли это вторым аргументом для decltype? И если да, то что он делает?
Поскольку это выражение, запятая является просто оператором запятой (что означает, что тип является типом правой стороны: void), а не другим аргументом.
Этот код использует SFINAE — он включен, если существует t.reserve(n), но он хочет сохранить возвращаемый тип как void.
void - это неполный тип, поэтому вы не можете вызывать его конструктор где-либо вне неопределенного контекста, такого как decltype() или sizeof().
- person 0x499602D2; 30.10.2014
void() везде, где разрешено значение void prvalue (конечно, их не очень много...)
- person T.C.; 03.03.2015
