Là dựa vào chuyển đổi đối số ngầm được coi là nguy hiểm?

C ++ có một tính năng (tôi không thể tìm ra tên riêng của nó), nó tự động gọi các hàm tạo khớp của các loại tham số nếu các loại đối số không phải là các đối số dự kiến.

Một ví dụ rất cơ bản về điều này là gọi một hàm mong đợi std::stringmột const char*đối số. Trình biên dịch sẽ tự động tạo mã để gọi hàm tạo thích hợp std::string.

Tôi tự hỏi, nó có tệ cho khả năng đọc như tôi nghĩ không?

Đây là một ví dụ:

class Texture {
public:
    Texture(const std::string& imageFile);
};

class Renderer {
public:
    void Draw(const Texture& texture);
};

Renderer renderer;
std::string path = "foo.png";
renderer.Draw(path);

Điều đó có tốt không? Hay nó đi quá xa? Nếu tôi không nên làm điều đó, bằng cách nào đó tôi có thể khiến Clang hoặc GCC cảnh báo về điều đó không?

Điều này được gọi là một hàm tạo chuyển đổi (hoặc đôi khi là hàm tạo ẩn hoặc chuyển đổi ẩn).

Tôi không biết về việc chuyển đổi thời gian biên dịch để cảnh báo khi điều này xảy ra, nhưng nó rất dễ ngăn chặn; chỉ cần sử dụng explicittừ khóa.

class Texture {
public:
    explicit Texture(const std::string& imageFile);
};

Về việc có hay không chuyển đổi các nhà xây dựng là một ý tưởng tốt: Nó phụ thuộc.

Hoàn cảnh trong đó chuyển đổi ngầm định có ý nghĩa:

• Lớp này đủ rẻ để xây dựng mà bạn không quan tâm nếu nó được xây dựng ngầm.
• Một số lớp tương tự về mặt khái niệm với các đối số của chúng (chẳng hạn như std::stringphản ánh khái niệm tương tự như const char *nó có thể chuyển đổi hoàn toàn từ đó), vì vậy chuyển đổi ngầm có ý nghĩa.
• Một số lớp trở nên khó sử dụng hơn rất nhiều nếu chuyển đổi ngầm bị vô hiệu hóa. (Hãy nghĩ đến việc phải gọi std :: chuỗi một cách rõ ràng mỗi khi bạn muốn vượt qua một chuỗi ký tự. Các phần của Boost cũng tương tự.)

Các trường hợp trong đó chuyển đổi ngầm định có ý nghĩa ít hơn:

• Xây dựng là tốn kém (chẳng hạn như ví dụ Texture của bạn, yêu cầu tải và phân tích tệp đồ họa).
• Các lớp học về mặt khái niệm rất giống với lập luận của họ. Ví dụ, hãy xem xét một thùng chứa giống như mảng lấy kích thước của nó làm đối số:

    lớp FlagList
    {
        FlagList (int init_size); 
    };

    void SetFlags (const FlagList & flag_list);

    int chính () {
        // Bây giờ, nó biên dịch, mặc dù nó hoàn toàn không rõ ràng
        // nó đang làm gì
        SetFlags (42);
    }

• Xây dựng có thể có tác dụng phụ không mong muốn. Ví dụ, một AnsiStringlớp không nên ngầm định xây dựng từ một UnicodeString, vì chuyển đổi Unicode sang ANSI có thể mất thông tin.

Đọc thêm:

• Câu hỏi thường gặp về C ++ về các nhà xây dựng rõ ràng
• Các Google C ++ Style Guide nói với gần như luôn luôn sử dụng nhà thầu rõ ràng.
• Câu hỏi StackOverflow này đi vào nhiều ưu và nhược điểm hơn.

Đây là một nhận xét nhiều hơn là một câu trả lời nhưng quá lớn để đưa vào một nhận xét.

Thật thú vị, g++không để tôi làm điều đó:

#include <iostream>
#include <string>

class Texture {
        public:
                Texture(const std::string& imageFile)
                {
                        std::cout << "Texture()" << std::endl;
                }
};

class Renderer {
        public:
                void Draw(const Texture& texture)
                {
                        std::cout << "Renderer.Draw()" << std::endl;
                }
};

int main(int argc, char* argv[])
{
        Renderer renderer;
        renderer.Draw("foo.png");

        return 0;
}

Sản xuất như sau:

$ g++ -o Conversion.exe Conversion.cpp 
Conversion.cpp: In function ‘int main(int, char**)’:
Conversion.cpp:23:25: error: no matching function for call to ‘Renderer::Draw(const char [8])’
Conversion.cpp:14:8: note: candidate is: void Renderer::Draw(const Texture&)

Tuy nhiên, nếu tôi thay đổi dòng thành:

   renderer.Draw(std::string("foo.png"));

Nó sẽ thực hiện chuyển đổi đó.

Nó được gọi là chuyển đổi kiểu ngầm định. Nói chung đó là một điều tốt, vì nó ức chế sự lặp lại không cần thiết. Ví dụ: bạn tự động nhận std::stringphiên bản Drawmà không phải viết thêm bất kỳ mã nào cho nó. Nó cũng có thể hỗ trợ theo nguyên tắc đóng mở, vì nó cho phép bạn mở rộng Rendererkhả năng của mình mà không cần sửa đổi Rendererchính nó.

Mặt khác, nó không phải không có nhược điểm. Nó có thể gây khó khăn cho việc tìm ra một đối số đến từ đâu, vì một điều. Nó đôi khi có thể tạo ra kết quả bất ngờ trong các trường hợp khác. Đó là những gì các explicittừ khóa cho. Nếu bạn đặt nó trên hàm Texturetạo, nó sẽ vô hiệu hóa bằng cách sử dụng hàm tạo đó để chuyển đổi kiểu ngầm định. Tôi không biết về một phương pháp để cảnh báo toàn cầu về chuyển đổi loại ngầm, nhưng điều đó không có nghĩa là một phương thức không tồn tại, chỉ có điều gcc có số lượng tùy chọn lớn không thể hiểu được.