解决外部库缺乏 const 正确性的问题

Question

我正在使用缺乏 const 正确性的外部 C++ 库。假设我正在使用以下类的对象：

// Library.h
namespace Library {

class Message {
 public:
    std::string getData() {
        return data_;
    }
 private:
    std::string data_;
};

}  // namespace Library

注意getData() 返回一个副本，因此对该方法的调用不会更改Message 对象，它应该是const。但是，供应商认为不是。 在我的代码方面，常量正确性很重要，Message 将用于如下函数：

// MyApplication.cpp

template<class T>
void handleMessage(const T& msg) {
    std::string content = msg.getData();
    // interprete and process content ...
}

有没有办法做到这一点？换句话说，如何在不更改handleMessage 函数签名的情况下解决error: passing 'const Library::Message' as 'this' argument discards qualifiers 错误？

Answer 1

您还可以使用带有可变成员变量的包装器，例如：

#include <string>

class Message {
 public:
    std::string getData() {
        return data_;
    }
    Message(std::string data): data_{data} { }
 private:
    std::string data_;
};

class MessageWrapper {
 public:
    MessageWrapper(Message message): message{message} {}
    std::string getData() const {
        return message.getData();
    }
 private:
    mutable Message message;
};

template<class T>
void handleMessage(const T& msg) {
    std::string content = msg.getData();

}

int main() {
    MessageWrapper mw{{"abc"}};
    handleMessage(mw);
}

[live demo]

编辑：

为了强制 const 正确性，您可以保存从消息中检索到的数据，例如：

#include <string>
#include <optional>

class Message {
 public:
    std::string getData() {
        return data_;
    }
    Message(std::string data): data_{data} { }
 private:
    std::string data_;
};

class MessageWrapper {
 public:
    MessageWrapper(Message message): message{message} {}
    std::string getData() const {
        return (data)?(*data):(*(data = message.getData()));
    }
 private:
    mutable Message message;
    mutable std::optional<std::string> data;
};

template<class T>
void handleMessage(const T& msg) {
    std::string content = msg.getData();

}

int main() {
    MessageWrapper mw{{"abc"}};
    handleMessage(mw);
}

[live demo]

Answer 2

你基本上有两个选择。你可以使用const_cast

template<class T>
void handleMessage(const T& msg) {
    std::string content = const_cast<T&>(msg).getData();
    // interprete and process content ...
}

只要您确定getData 确实没有修改任何成员，就可以了。或者，如果您不介意一些开销，您可以制作一份副本：

template<class T>
void handleMessage(const T& msg) {
    T copy = msg;
    std::string content = copy.getData();
    // interprete and process content ...
}

...或者作为第三种选择，如果您想从呼叫站点隐藏const_cast，您可以将其包装起来：

class MyMessage {
     Message msg;
public:
     std::string getData() const {
         return const_cast<Message>(msg).getData();
     }
};