Question

我具有以下结构（经过简化，足以复制问题）：

template < class T, class P = struct NamedTypeDefaultTag > struct NamedType
{
    //static_assert(std::is_fundamental_v< T >, "Template parameter is not a fundamental type.");

    using ValueType = T;

    ValueType m{};

    constexpr NamedType() noexcept = default;
    constexpr NamedType(const NamedType & value) noexcept = default;
    constexpr NamedType(NamedType && value) noexcept = default;

    constexpr explicit NamedType(const T & value) noexcept : m{value} { }

    constexpr NamedType & operator = (const T & value) { m = value; return *this; }
};

然后我尝试像这样使用赋值运算符：

int main() {
    using NT_t = NamedType< int >;

    // generates error
    int t = 1;
    NT_t a = t;
    const NT_t b = 2;
    // works fine
    NT_t c;
    c = 2;

    return 0;
}

我怀疑是因为我在声明它并同时分配它的同时以某种方式尝试使用构造函数（这是显式的）。

但是我不明白是什么原因以及如何解决它。

Answer 1

NT_t a = t;尝试从int到NT_t的隐式转换。但是能够执行这种转换的构造函数被标记为explicit，因此排除了其在隐式转换中的使用。做吧

NT_t a{t};
const NT_t b{2};

错误：请求从“基本类型”转换为非标量类型“ NamedType <基本类型=“”>”

1 个答案: