由于模板和動態多型不能很好地混合，我目前正在為Loggable支持操作的型別設計一個概念，而不是一個介面（用抽象類實作）：
logger.log(LogLevel::info) << "some message" << 0 << 0.0 << 'c';
提供定義的日志級別：
enum class LogLevel
{
info,
warning,
error
};
這個概念看起來像這樣：
template<typename T>
concept Loggable = requires(T v)
{
{
v.log(LogLevel{})
} -> std::convertible_to<T&>;
{
v << "log message" << static_cast<unsigned>(0) << static_cast<int>(0) << static_cast<float>(0.0)
<< static_cast<unsigned char>(0) << static_cast<char>('0')
} -> std::convertible_to<T&>;
};
為了測驗記錄器，定義了以下函式：
template<typename T>
requires Loggable<T>
void fun(T& v)
{
v.log(LogLevel::error);
}
我定義了一個Logger：
struct Logger1
{
Logger1& log(LogLevel)
{
return *this;
}
Logger1& operator<<(float)
{
return *this;
}
Logger1& operator<<(std::string)
{
return *this;
}
};
然后呼叫記錄器：
Logger1 l1{};
fun(l1);
沒有編譯器錯誤。這是因為字串是隱式轉換的std :: string和unsigned，int，char，unsigned char他們最終都會被隱式轉換float。
我怎樣才能：
- 禁止隱式轉換
int,char,unsigned char,unsignedtofloat, 但是 ... - 仍然允許將字串文字隱式轉換為
std::string?
uj5u.com熱心網友回復：
您可以通過創建一個已洗掉的多載來在記錄器級別執行此操作，該多載可捕獲所有但僅捕獲要從隱式轉換中排除的型別：
#include <concepts>
#include <string>
// Probably not 100% correct, mostly for the example...
template <typename T>
concept Arithmetic = std::integral<T> || std::floating_point<T>;
struct Logger1
{
template<Arithmetic T>
Logger1& operator<<(T) = delete;
Logger1& operator<<(float)
{
return *this;
}
Logger1& operator<<(std::string)
{
return *this;
}
};
int main() {
Logger1 log;
log << "AAA"; // Converts implicitly to std::string.
log << 12.5f; // handled by the explicit float overload.
log << 3; // Compile error here.
}
uj5u.com熱心網友回復：
為了避免隱式轉換，我們可以定義一個operator<<匹配所有其他型別的模板。
此外，為了避免阻塞字串字面量，我們可以為此添加一個約束，operator<<以確保運算元不能轉換為std::string：
#include <string>
template<typename T>
concept WeaklyLoggable = requires(T v) {
{ v.log(LogLevel{}) } -> std::convertible_to<T&>;
};
template<WeaklyLoggable T, class U>
requires (!std::convertible_to<U, std::string>)
auto operator<<(T, U) = delete;
template<typename T>
concept Loggable = WeaklyLoggable<T> && requires(T v) {
{
v << "log message"
<< static_cast<unsigned>(0)
<< static_cast<int>(0)
<< static_cast<float>(0.0)
<< static_cast<unsigned char>(0)
<< static_cast<char>('0')
} -> std::convertible_to<T&>;
};
演示。
轉載請註明出處，本文鏈接：https://www.uj5u.com/shujuku/317124.html
上一篇：我將如何解決它不是一個參考陣列？
下一篇：在QML插槽中未收到C 信號