C->C++自动将 void 指针转换为 C++ 中的 Type 指针在 #define 中，如果未给出类型（C 风格）[MSVS]

Question

嗨！

我使用了以下C宏，但在C++中它无法自动转换void* 输入*。

#define MALLOC_SAFE(var, size) { \
    var = malloc(size); \
    if (!var) goto error; \
}

我知道，我可以这样做：

#define MALLOC_SAFE_CPP(var, type, size) { \
    var = (type)malloc(size); \
    if (!var) goto error; \
}

但我不想重写使用 MALLOC_SAFE 的大部分代码。

有什么方法可以在不向宏提供类型的情况下执行此操作吗？也许一些 MSVC 2005 #pragma/__declspec/other ？

ps：我不能使用C编译器，因为我的代码是大型项目的一部分（数百个模块之一）。现在是在 C++ 上。我知道，我可以单独构建我的代码。但它是旧代码，我只想快速移植它。

问题是关于 void* 转换；）如果不可能，我将用 MACRO_SAFE_CPP 替换 MACRO_SAFE

谢谢！

Answer 1

为了让 James 的答案更加肮脏，如果你没有 decltype 支持，你也可以这样做：

template <typename T>
class auto_cast_wrapper
{
public:
    template <typename R>
    friend auto_cast_wrapper<R> auto_cast(const R& x);

    template <typename U>
    operator U()
    {
        return static_cast<U>(mX);
    }

private:
    auto_cast_wrapper(const T& x) :
    mX(x)
    {}

    auto_cast_wrapper(const auto_cast_wrapper& other) :
    mX(other.mX)
    {}

    // non-assignable
    auto_cast_wrapper& operator=(const auto_cast_wrapper&);

    const T& mX;
};

template <typename R>
auto_cast_wrapper<R> auto_cast(const R& x)
{
    return auto_cast_wrapper<R>(x);
}

然后：

#define MALLOC_SAFE(var, size)                      \
{                                                   \
    var = auto_cast(malloc(size));                  \
    if (!var) goto error;                           \
}

除了邪恶之外，不要将它用于任何目的。

Answer 2

我不建议这样做；这是糟糕的代码，如果您使用的是 C，则应该使用 C 编译器对其进行编译（或者，在 Visual C++ 中，作为 C 文件）

如果您使用的是 Visual C++，则可以使用 decltype：

#define MALLOC_SAFE(var, size)                      \
{                                                   \
    var = static_cast<decltype(var)>(malloc(size)); \
    if (!var) goto error;                           \
}

Answer 3

例如，像这样：

template <class T>
void malloc_safe_impl(T** p, size_t size)
{
    *p = static_cast<T*>(malloc(size));
}

#define MALLOC_SAFE(var, size) { \
    malloc_safe_impl(&var, size); \
    if (!var) goto error; \
}

Answer 4

是否有人直接将您的参数强制转换为 SAFE_MALOC() 的 var ？我的意思是，malloc() 返回一个指针。你将它存储在接受指针的地方...其他人已经指出了各种整洁的类型安全的东西...我只是想知道为什么这不起作用：

#define MALLOC_SAFE(var,size)  {  \
    (* (void **) & (var)) = malloc(size); \
    if ( ! (var) ) goto error;    \
    }

是的...我知道。它很恶心，而且把类型安全抛到了九霄云外。但直接的 ((void *)(var))= 转换并不总是有效。