Question

我的nullPointcheck函数：

template<typename T, typename... Args>
bool __nullPointCheck(T first, Args... args)
{
    bool ret = true;
    va_list vl;
    auto n = sizeof...(args);
    va_start(vl, n);
    for (auto i = 0; i <= n; ++i)
    {
        auto p = va_arg(vl, T);
        if (!p)
        {
            ret = false;
        }
    }
    va_end(vl);
    return ret;
}

但是我得到的ndk构建错误如下：

'va_start' used in function with fixed args
va_start(vl, n);

当我将va_start中的第二个参数更改为第一个时，如下所示：

va_start(vl, first);

ndk-build导出错误如下：

     'va_start' used in function with fixed args
    va_start(vl, first);
    ^
E:/ANDROID_HOME/android-ndk-r10c/toolchains/llvm-3.5/prebuilt/windows-x86_64/bin
\..\lib\clang\3.5\include\stdarg.h:33:29: note:
expanded from macro 'va_start'
#define va_start(ap, param) __builtin_va_start(ap, param)

vs2013中没有错误，但代码可以通过ndk-build stage

Answer 1

va_start等只能在原型以...);结尾的函数中使用。这与参数包不同。您的代码使用参数包。使用参数包的语法与可变参数函数的语法不同。

我假设你的函数应该返回true当且仅当所有参数都是非空指针时。实现您的功能的一种方法是：

inline constexpr bool nullPointCheck() { return true; }

template<typename T, typename... Args>
constexpr bool nullPointCheck(T&& first, Args&&... args)
{
    return first && nullPointCheck(args...);
}

rontgen的答案也很好。

您实际上可以使用此函数来检查是否有任何任意参数列表都是true。我使用了通用引用，因此副本不是由参数组成的;这对指针没什么影响，但可能会对更复杂的类型产生影响。

要将功能限制为仅接受指针，请将T&&更改为T *。（保持Args&&不变）。如果您还想接受文字nullptr，那么您还需要重载：

inline constexpr bool nullPointCheck(std::nullptr_t) { return false; }

因为nullptr实际上没有推导出任何T *。

Answer 2

我可以通过编译阶段的解决方案如下：

template<typename T, typename... Params, std::size_t N = sizeof...(Params)>
static bool nullPointCheck(Params... params)
{
    std::array<T, N> arr = { params... };
    for (auto point : arr)
    {
        if (!point)
        {
            return false;
        }
    }
    return true;
}

'va_start'用于具有固定args错误的函数

2 个答案: