gpt4 book ai didi

c++ - 为什么这个 type_traits 代码给我一个整数到指针转换警告?

转载 作者:行者123 更新时间:2023-11-28 05:29:32 25 4
gpt4 key购买 nike

我已经创建了一个可变参数模板函数,它根据模板参数的类型执行不同的操作,在此不赘述。我将实现简化为一个非常简单的控制台打印示例:

#include <cstdint>
#include <cstddef>
#include <cstdio>
#include <cstring>
#include <type_traits>

void print(const char *chars) {
printf("%s", chars);
}

template<typename FirstType, typename ... OtherTypes>
inline void print(FirstType first, OtherTypes... others);

template<typename ... OtherTypes>
inline void print(const char *chars, OtherTypes... others) {
print(chars);
print(" ");

if (sizeof...(others) == 0) {
print("\r\n");
}
else {
print(others...);
}
}

template<typename FirstType, typename ... OtherTypes>
inline void print(FirstType first, OtherTypes... others) {
char buffer[10];
const char *format = nullptr;

if (std::is_same<int, FirstType>::value) {
format = "%d";
}
else if (std::is_same<char, FirstType>::value) {
format = "%c";
}
else if (std::is_pointer<FirstType>::value && (std::is_same<char*, FirstType>::value || std::is_same<const char*, FirstType>::value)) {
print((const char *) first, others...);
return;
}

if (format != nullptr) {
snprintf(buffer, 10, format, first);
}

print((const char *) buffer, others...);
}

int main() {
print("this is an example:", 'X');

return 0;
}

在上面的代码中,我用一个 const char* 和一个 char 调用可变参数函数。它工作正常,但问题是编译器给我一个警告:

[Timur@Timur-Zenbook tm]$ g++ tm.cpp -Wall -Wextra -o tm
tm.cpp: In instantiation of ‘void print(FirstType, OtherTypes ...) [with FirstType = char; OtherTypes = {}]’:
tm.cpp:24:14: required from ‘void print(const char*, OtherTypes ...) [with OtherTypes = {char}]’
tm.cpp:52:37: required from here
tm.cpp:40:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
print((const char *) first, others...);
^~~~~~~~~~~~~~~~~~~~

警告来自 char 参数,好像函数错误地将 char 的类型确定为与 const char* 相同因此触发了 const char* 的代码路径。

为什么我会收到此警告以及如何解决?

最佳答案

Why am I getting this warning

FirstTypechar 时,该分支中的代码仍实例化,即使该分支永远不会真正执行。

how do I fix it?

将只对某些类型有意义的代码移到重载或特殊特征中,这样一开始就不会为不匹配的类型编译。

最简单的更改是完全删除 else if(std::is_pointer... 分支,并添加具有相同效果的重载:

template<typename ... OtherTypes>
inline void print(char *chars, OtherTypes... others) {
print((const char *)chars, others...);
}

关于c++ - 为什么这个 type_traits 代码给我一个整数到指针转换警告?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/39828482/

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