gpt4 book ai didi

c++ - const_cast 似乎被 C++ 模板忽略了?

转载 作者:行者123 更新时间:2023-11-28 01:42:35 25 4
gpt4 key购买 nike

我使用 Windows 上的 Visual Studio 编写了一个简单的日志记录类,它支持 C++ 中的可变参数模板。我创建了一个通用的 Log具有许多专门化的功能模板,以满足可能输入的常见组合。

#pragma once

#include <Windows.h>
#include <locale>
#include <codecvt>
#include <string>
#include <sstream>
#include <utility>

using namespace std;

inline static string to_utf8(const wstring& s) {
wstring_convert<codecvt_utf8_utf16<wchar_t>> utf16conv;
return utf16conv.to_bytes(s);
}

class Logger {
public:
HANDLE file_handle;
wchar_t file_path[MAX_PATH + 1];

inline Logger(HANDLE handle) : file_handle(handle), file_path{} {
}

inline Logger(const string& path) : Logger(path.c_str()) {
}

inline Logger(const wstring& path) : Logger(path.c_str()) {
}

inline Logger(const char* path) : file_handle(NULL) {
wstring_convert<codecvt_utf8_utf16<wchar_t>> converter;
wcscpy_s(file_path, MAX_PATH + 1, converter.from_bytes(path).c_str());
}

inline Logger(const wchar_t* path) : file_handle(NULL) {
wcscpy_s(file_path, MAX_PATH + 1, path);
}

private:
inline void VerifyInitialize() {
if ((file_handle == NULL || file_handle == INVALID_HANDLE_VALUE) && file_path[0] != '\0') {
file_handle = CreateFileW(file_path, FILE_GENERIC_WRITE, FILE_SHARE_READ | FILE_SHARE_WRITE, NULL, CREATE_ALWAYS, FILE_ATTRIBUTE_NORMAL, NULL);
SetFilePointer(file_path, 0, NULL, FILE_END);
}
}

public:
inline void Log() {
}

template<typename ...Rest>
inline void Log(const char* first, Rest... params) {
VerifyInitialize();
if (file_handle == NULL || file_handle == INVALID_HANDLE_VALUE)
return;
DWORD written;
WriteFile(file_handle, first, static_cast<DWORD>(strlen(first)), &written, NULL);
Log(params...);
}

template<typename ...Rest>
inline void Log(const char first, Rest... params) {
char str[2];
str[0] = first;
str[1] = '\0';
Log(str, params...);
}

template<typename ...Rest>
inline void Log(const string* first, Rest... params) {
VerifyInitialize();
if (file_handle == NULL || file_handle == INVALID_HANDLE_VALUE)
return;
DWORD written;
WriteFile(file_handle, first->c_str(), static_cast<DWORD>(first->size()), &written, NULL);
Log(params...);
}

template<typename ...Rest>
inline void Log(const string& first, Rest... params) {
Log(&first, params...);
}

template<typename ...Rest>
inline void Log(const wstring* first, Rest... params) {
Log(*first, params...);
}

template<typename ...Rest>
inline void Log(const wstring& first, Rest... params) {
Log(to_utf8(first), params...);
}

template<typename ...Rest>
inline void Log(const wchar_t* first, Rest... params) {
Log(wstring(first), params...);
}

template<typename ...Rest>
inline void Log(const wchar_t first, Rest... params) {
wchar_t str[2];
str[0] = first;
str[1] = '\0';
Log(str, params...);
}

template<typename First, typename ...Rest>
inline void Log(First first, Rest... params) {
printf("%s\n", typeid(First).name());
if (is_const<First>::value) {
stringstream stream;
stream << first;
Log(stream.str(), params...);
} else
Log(const_cast<const First>(first), params...);
}

inline ~Logger() {
if (!(file_handle == NULL || file_handle == INVALID_HANDLE_VALUE)) {
CloseHandle(file_handle);
file_handle = NULL;
}
}
};

该代码适用于 const 值。但是,如果我像这样引入非常量参数:

int main() {
Logger logger(("output.txt"));
wchar_t sometext[3];
sometext[0] = '1';
sometext[1] = '8';
sometext[2] = '\0';
logger.Log(sometext, L"\n");
return 0;
}

特化没有被调用,而是最后一个通用的 void Log(First first, Rest... params)被称为,它使用 stringstream并将指针写为字符串而不是字符串本身。

如果我删除 const来自所有重载参数,当我调用 main()它有效,但如果我更换 sometextconst char* , 然后是最后一个泛型 void Log(First first, Rest... params)被调用而不是特化(即删除 const 不能解决问题)。

因此,为了尝试两全其美,我尝试添加以下条件:

template<typename First, typename ...Rest>
inline void Log(First first, Rest... params) {
if (is_const<First>::value) {
stringstream stream;
stream << first;
Log(stream.str(), params...);
} else
Log(const_cast<const First>(first), params...);
}

其基本原理是指示编译器“首先搜索 const 特化重载,如果未找到,则回退到使用 stringstream

但是,我遇到了堆栈溢出。为了调试,我添加了 printf("%s\n", typeid(First).name());就在 if 之前条件,输出为:

wchar_t * __ptr64
wchar_t * __ptr64
wchar_t * __ptr64
wchar_t * __ptr64
....

显然,const_cast<const First>(first)实际上似乎并没有转换到const , 即使 is_const::value确实在返回 false .我也尝试过使用 std::as_const , 但结果没有差异。

为什么转换不起作用?请问我该如何解决?

最佳答案

如果 Firstwchar_t* 转换将创建一个 wchar_t* const,而不是 const wchar_t* .强制转换不是类型名称的文本替换。

因此您创建了一个不匹配任何特化的新类型,并获得对通用 Log 函数的递归调用。

关于c++ - const_cast 似乎被 C++ 模板忽略了?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/46575369/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com