Question

我有一些可变参数模板方法，如下所示：

    template<typename ... Args>
    void Invoke(const char* funcName, Args ... args) const;

    template<typename ... Args>
    void Invoke(const char* funcName, Args ... args) const
    {
        SPrimitive params[] = { args ... };
        SomeOtherInvoke(funcName, params, sizeof ... (Args));
    }

这里是SPrimitive - 只是一个带有任何基本类型的构造函数的简单结构。

我想为某些复杂类型再创建一个Invoke定义。这是我的问题：是否有可能在c ++ 11/14中进行可变参数模板方法专业化？我的意思是这样的（为简单起见，我的类型将是int）：

    template<int ... Args>
    void Invoke(const char* funcName, Args ... args)
    {
        int params[] = { args ... };
        SomeComplexInvoke(funcName, params, sizeof ... (Args));
    }

这里我需要一个特化，它接受int类型的任何参数计数，所以我可以像这样调用它：

    Invoke("method", 2, 4 ,9);

Answer 1

正如@ Jarod42所提到的那样，不应该专业化。在你的例子中，如果所有参数类型都是int，你想要一些特别的东西，所以让我们写一个模板来检查它：

template<typename ref, typename t, typename ...types>
struct all_same {
        static constexpr bool value = std::is_same<ref, t>::value && all_same<ref, types...>::value;
};

template<typename ref, typename t>
struct all_same<ref, t> {
        static constexpr bool value = std::is_same<ref, t>::value;
};

它检查第一个类型参数是否等于所有其他类型参数。然后在Invoke中，我们应该根据params类型选择args...类型：

template<typename ... Args>
void Invoke(const char* funcName, Args ... args)
{
    using params_type = typename std::conditional<all_same<int, Args...>::value, int, SPrimitive>::type;
    params_type params[] = { args ... };
    SomeOtherInvoke(funcName, params, sizeof ... (Args));
}

现在为了演示，我们来定义：

struct SPrimitive{
};

void SomeOtherInvoke(const char*, SPrimitive*, size_t) {
        std::cout << "Invoked for SPrimitive\n";
}

void SomeOtherInvoke(const char*, int*, size_t) {
        std::cout << "Invoked for int\n";
}

并致电

Invoke("foo", SPrimitive());
Invoke("foo", SPrimitive(), SPrimitive());
Invoke("foo", 1, 2, 3, 4);

输出结果为：

Invoked for SPrimitive
Invoked for SPrimitive
Invoked for int

这就是你要求的。

Answer 2

我也遇到了这个问题，找到了一个更简单的方法。这个想法只是使用一个简单的 static_cast。

template <class ...args
void test (args ...a)
{
 test___( sizeof... (a), static_cast<int*>(&a)... );
}

extern void test___(int count,...);

注意：

我故意使用 c 省略号来表明您可以简单地将 cpp 可变参数传递给 c 省略号参数。这个cpp通用吗？我不知道。
同时让您知道使用两全其美是多么方便。 Cpp 可变参数函数编写起来很笨拙。 C 省略号不能识别类型，这真的很重要。
最后注意我们如何在可变参数上使用运算符的地址。这个cpp通用吗？我不知道。

我想以这样一个例子来结束：c 省略号很笨重，而 cpp 与 c 的结合拯救了我。

//This function expects RECT pointers
void addRect (int count,...);

int main () 
{
 RECT r = {0,0,640,480};
 addRect (3,r,r,r}; // However it is so easy to forget that
                              // program will crash
}

因此，将公共方法编写为可变参数函数，然后传递省略号版本的正确内容。

注意：一切都可以通过 cpp 可变参数来完成，但它很笨重，而且很多时候看起来很糟糕。

Answer 3

我已经给出了替代答案。现在是另一个。请注意，我仍然相信第一个回答的人；并且他的回答作为一种智力论证很有用，可能有它的地方和时间。

注意：我的替代方案接受任何可转换为 int 的内容。虽然他的建议只接受 int 而不会接受 int& 除非你使用 std::remove_reference 。比较复杂。

此替代方案基于模板重载。如果我们想要一个只接受整数或可转换为整数的对象的函数；我们只需添加 int 作为可变参数模板函数的第一个参数！

template <class ...args>
void example (int i,args ...rest)
{
 example__(sizeof... (rest)+1, i, rest...);
}

void example (int count,...);

注意：同样，一切都可以用 Cpp Variadics 完成。但我认为 C 省略号确实使任务更简单，编译错误更少，如果你记得只传递基元和指向 C 省略号的指针，那么运行时错误的可能性很小。

如果您希望函数在一个函数调用中接受多种类型，请执行以下操作。我将省略私有实现函数和公共实现。

template <class ...args>
void example (int i,args &...rest);

template <class ...args>
void example (const std::string&, args &...rest);

最后，如果你想让你的函数接受各种类型，但在单独的函数调用中，我建议使用命名约定。

template <class ...args>
void intExample (int i,args &...rest);

template <class ...args>
void stringExample (const std::string&, args &...rest);

template <class ...args>
int getInt (int i,args &...rest);

template <class ...args>
std::string getString (const std::string&, args &...rest);

注意：通过在最后的示例中保留第一个参数，您可以确保至少有一个参数必须传递给您的函数。

好了，今天就到这里。如果你做到了这一步，你就很棒了。谢谢观看。如果你喜欢我的视频；单击该订阅按钮。粉碎那个喜欢的按钮。

编辑_ 我在 Cpp Variadics 中发现了一种美，我想在这里展示。如您所知，Cpp 模板是非常漂亮的 C 宏，它是类型安全且尊重命名空间的。

struct ColumnStyle
{
 int type;
 int align;
 int width;
 int min_width;
 int max_width;
 Int margin;
};

我想扩展这个类，但我希望它仍然作为一个聚合类。

struct LogColumn : ColumnStyle
{
 template <class ...args>
 LogColumn (const wchar_t *caption, HBITMAP icon, args ...style)
  : ColumnStyle {style...}, // amazing! I can simply pass the variadic arguments to the aggregate ctor!
    header_caption (caption),
    header_icon (icon)
  {}

 const wchart_t *header_caption;
 HBITMAP header_icon;
};

C ++ Variadic模板方法专业化

3 个答案: