#include <type_traits>
struct foo;
int main()
{
const foo *bar;
static_assert(std::is_const<decltype(*bar)>::value,
"expected const but this is non-const!");
}
Это приводит к непредвиденному сбою static_assert
. Это несколько похоже на этот вопрос на ссылки const, но не совсем то же самое.
В моем случае разыменование bar
должно давать экземпляр const foo
как его тип, но все же std::is_const
говорит иначе.