我正在尝试使用新的 c++17 类模板推导,并且在我应用 const 之前一切似乎都可以正常工作。这是我面临的麻烦的一个小例子:
#include <type_traits>
template <typename T>
struct X
{
T _data;
X(void) = default;
X(T && data) : _data{ data } {}
constexpr bool const_x(void) { return false; }
constexpr bool const_x(void) const { return true; }
};
template <typename T>
X(T &&) -> X<std::remove_reference_t<T>>;
int main(void)
{
X<int> a;
const X<int> b{};
X c{ 10 };
const X d{ 10 };
static_assert(!a.const_x());
static_assert(b.const_x());
static_assert(!c.const_x());
static_assert(d.const_x()); // assert fails
}
似乎当 const X 推断其类型时,不会执行 const-ness。我知道这是可能的:
template <typename T>
X(T &&) -> const X<std::remove_reference_t<X>>;
但这会使每个推导的类型都变成 const X。
如果有人有任何信息或帮助,将不胜感激!
编辑 我正在使用 GCC-7.1.0