40 C++隐式转换与explicit关键字

1. 隐式构造函数/隐式转换

implicit(隐式)的意思是不会明确地告诉你它要做什么，它有点像在某种情况下自动的工作。实际上 C++允许编译器对代码进行一次隐式的转换。

如果我开始使用一种数据类型作为另一种类型来使用，在这两周类型之间就会有类型转换，C++允许隐式地转换，不需要用cast等做强制转换。 ^cde452

class Entity
{
private:
    std::string m_Name;
    int m_Age;
public:
    Entity(const std::string& name)
        : m_Name(name), m_Age(-1){}
    Entity(int age)
        : m_Name("Unknown"), m_Age(age) {}

    const int& GetName() const { return m_Age; }
};

int main()
{
    Entity a("Cherno");
    // Entity a = "Cherno";  不建议，上面的写法更清楚
    Entity b = Entity(22);
    // Entity b = 22;
    std::cout << a.GetName() << std::endl;
    std::cin.get();
}

这里为什么能把一个整数赋值给一个类，且这个类还有一个字符串成员 name？ 这就是隐式转换或者隐式构造函数。 它隐式地把 22 转换为一个 Entity 对象，构造出了一个 Entity，因为 Entity 有一个构造函数，接受一个整形参数 age，另一个接受一个字符串参数。

void PrintEntity(const Entity& entity)
{
    // Printing
}

int main()
{
    PrintEntity(22);
    PrintEntity("Cherno");

这里的参数是一个char array[7]，而不是std::string，见32 How Strings Work in C++ (and how to use them) 为了让这里能工作，C++需要做两次转换，一次是用const char数组到string，一次是从string到Entity,但是只允许做一次隐式转换。

PrintEntity(std::string("Cherno"));
PrintEntity(Entity("Cherno"));

可以帮助你简化代码，不过就个人来说会尽量避免使用它，除了某些情况要用来简化代码，而不是通过构造函数来包裹。

2. explicit 关键字

explicit会仅用隐式转换，放在构造函数前面，意味着这个构造函数不会进行隐式转换。如果逆向用一个整数构造一个 Entity 对象，那你必须显式地调用这个构造函数。

explicit Entity(int age)
        : m_Name("Unknown"), m_Age(age) {}

Entity b(22);
Entity b = (Entity)22;
Entity b = Entity(22);

有时会在数学运算库的地方用到explicit，因为不想把数字和向量进行比较，保证代码安全。不过不经常使用。低级封装可能会用到，防止偶然转换和性能问题或者 bug。