Question

这是我的类型系统的简化版本：

#include <string>
#include <vector>

template<typename T>
class Box {
public:
    Box(const T& value) : _value(value) {};
private:
    T _value;
    /* ... */
};

typedef Box<int> Int;
typedef Box<double> Double;
typedef Box<std::string> String;

int main(int argc, char* argv[]) {
    String a("abc");
    std::vector<String> b = { std::string("abc"), std::string("def") };

    // error C2664: 'Box<std::string>::Box(const Box<std::string> &)' : cannot convert argument 1 from 'const char' to 'const std::string &'
    std::vector<String> c = { "abc", "def" };
}

虽然编译a和b，但c没有编译，原因似乎是我尝试从const char初始化。这提出了两个问题：

为什么b可能而非c？是因为std::vector<Box<std::string> >？
我是否可以在不破坏一般拳击机制的情况下使c工作（参见typedef Box<double> Double？

Answer 1

c目前需要进行2次隐式用户转换（const char [N] - ＆gt; std::string - ＆gt; String），而只允许使用一次。

您可以将模板构造函数添加到Box

template<typename T>
class Box {
public:
    Box() = default;
    Box(const Box&) = default;
    Box(Box&&) default;
    ~Box() = default;

    Box& operator=(const Box&) = default;
    Box& operator=(Box&&) = default;

    template <typename U0, typename ...Us,
              std::enable_if_t<std::is_constructible<T, U0, Us...>::value
                               && (!std::is_same<Box, std::decay_t<U0>>::value
                                  || sizeof...(Us) != 0)>* = nullptr>
    Box(U0&& u0, Us&&... us) : _value(std::forward<U0>(u0), std::forward<Us>(us)...) {}
private:
    T _value;
    /* ... */
};

Demo Demo2

Answer 2

仅在主要功能部分查看源代码：

int main(int argc, char* argv[]) {
    String a("abc");
    std::vector<String> b = { std::string("abc"), std::string("def") };

    // error C2664: 'Box<std::string>::Box(const Box<std::string> &)' :
    // cannot convert argument 1 from 'const char' to 'const std::string &'
    std::vector<String> c = { "abc", "def" };
}

您的第一行代码：

String a("abc");

正在使用typedef版本的Box<std::string>，此类模板需要const T&，因为此版本的模板需要std::string它正在使用{{1} std::string's构造std::string，这没关系。

您的下一行代码：

const char[3]

上面是std::vector<String> b = { std::string("abc"), std::string("def") };。因此，您可以使用有效的std::vector<T>对象初始化vector<T>。

在最后一行代码中：

std::string

以下是std::vector<String> c = { "abc", "def" }; c vector<T> T typedef Box<std::string> std::vector<T>版本Box<std::string>，但您尚未初始化const char[3] std::vector<String> c = { String("abc"), String("def") };种类型。您正尝试使用String对象或字符串文字对其进行初始化。

您可以尝试为第三行执行此操作：我没有尝试编译它，但我认为它应该可以。

std::string

编辑 - 我打算使用Time.now.to_s(:db) => "2017-05-22 11:14:40"的构造函数而不是{{1}}进行适当的编辑。

Answer 3

您可以使用创建相应类型的辅助函数：

template <typename T,typename R>
Box<T> make_boxed(const R& value){
    return Box<T>(value);
}

看起来似乎是必须指定T的额外复杂功能，另一方面，您可以使用auto作为返回的类型。完整的例子：

#include <string>

template<typename T>
class Box {
public:
    Box(const T& value) : _value(value) {};
private:
    T _value;
    /* ... */
};

typedef Box<std::string> String;

int main(int argc, char* argv[]) {
    auto a = make_boxed<std::string>("asd");
}

无法将字符串文字分配给boxed std :: string向量

3 个答案: