Question

所以，当我收到这样的警告时，我从未确定该怎么做，所以我想要其他专业程序员的建议。当我收到排序

的警告（而不是错误）时

警告C4267：'='：从'size_t'转换为'ULONG'，可能会丢失数据

（省略其他上下文代码）

wchar_t pszName[CREDUI_MAX_USERNAME_LENGTH + 1] = L"user";
wchar_t pszPwd[CREDUI_MAX_PASSWORD_LENGTH + 1] = L"password";

// ..

COAUTHIDENTITY authIdent;

// ...

memset(&authIdent, 0, sizeof(COAUTHIDENTITY));
authIdent.PasswordLength = wcslen(pszPwd);
authIdent.UserLength = wcslen(pszName);

问题显然是wcslen（）返回size_t，authIdent.PasswordLength是ULONG。照顾这些警告的最佳方法是什么？是否有他们希望我使用的winapi函数而不是wcslen（）？

编辑：感谢所有人的好评！

Answer 1

每个编译器警告都需要根据具体情况进行处理。

您在平台上收到此警告，因为ULONG是32位无符号，std::size_t是64位无符号。

但鉴于（1）您的字符串不太可能超过ULONG，并且（2）两个无符号类型之间的转换总是 -defined，我做了实用的事情，并使用static_cast：

static_cast<ULONG>(wcslen(pszPwd))

Answer 2

由于您可以合理地相信长度适合ULONG，您可以放心使用：

static_cast<ULONG>(wcslen(pszPwd))

否则你可以：

检查施放前的值
或使用模板自动执行此操作： https://stackoverflow.com /questions/998571/c-template-for-safe-integer-casts

Answer 3

字符串长度最自然的类型是size_t。实际上，字符串的大小将适合ULONG以及size_t。然而，这样的任务绝对值得警告。想象一下这个愚蠢的错误：

ULONG x = 0;
authIdent.PasswordLength = x - 1;

很容易声称这种错误永远不会发生，但通过提供一个不易出错的界面（这也可以防止丑陋的memset出现在用户代码中）来防止此类错误同样容易：< / p>

struct my_COAUTHIDENTITY {
    private:
        COAUTHIDENTITY authIdent;
    public: 
        my_COAUTHIDENTITY() {
            memset(&authIdent, 0, sizeof(COAUTHIDENTITY));
        }
        void setPasswd(wstring passwd) {
            ...
            authIdent.PasswordLength = static_cast<ULONG>(passwd.size());
        }
 };

Answer 4

一种方法是提供safe_numeric_cast函数，该函数在非调试版本中执行未经检查的static_cast，同时检查调试版本中的缩小转换。

e.g。

#include <type_traits>
#include <limits>
#include <cassert>
//#include <boost/stacktrace.hpp>  // enable if you have boost 1.65+
#include <iostream>

extern void foo(std::size_t);

struct conversion_failure
{
    void operator()() const
    {
        #ifdef NDEBUG
        // welcome to undefined behaviour - or we could log, throw, etc.
        #else
            std::cerr << "conversion out of bounds" << std::endl;
//            std::cerr << boost::stacktrace::stacktrace();
            std::exit(100);
        #endif
    }
};

template<class From, class To, class Enable = void>
struct safe_cast;

template<class Both> struct safe_cast<Both, Both>
{
    Both operator()(Both in) const {
        return in;
    }
};

template<
    class Big, 
    class Small
> 
struct safe_cast<Big, Small, std::enable_if_t<(std::numeric_limits<Big>::digits > std::numeric_limits<Small>::digits)>>
{
    Small operator()(Big from) const {
    using to_limits = std::numeric_limits<Small>;
    assert(from >= Big(to_limits::min()) && from <= Big(to_limits::max()) );
    return Small(from);
    }
};

template<
    class Small, 
    class Big
> 
struct safe_cast<Small, Big, std::enable_if_t<(std::numeric_limits<Big>::digits > std::numeric_limits<Small>::digits)>>
{
    Big operator()(Small from) const {
        return from;
    }
};


template
<
    class To, 
    class From
>
auto safe_numeric_cast(From&& from)
-> decltype(auto)
{
    auto conv = safe_cast<From, To>();
    return conv(from);
}

int main()
{
    int x = 10;

    auto y = safe_numeric_cast<long long>(x);
    std::cout << y << std::endl;

    auto z = safe_numeric_cast<int>(y);
    std::cout << z << std::endl;

    // should abort on debug build, UB on release
    auto zz = safe_numeric_cast<int>(std::numeric_limits<long long>::max());
    std::cout << zz << std::endl;
}

在c ++中修复类型转换警告的最佳方法

4 个答案: