1

鉴于以下来自Anthony Williams的代码片段。一个非常基本的元组示例，这里的所有内容都按预期工作。

#include <iostream>

template<typename ... Types>
class simple_tuple;

template<>
class simple_tuple<>
{};

template<typename First,typename ... Rest>
class simple_tuple<First,Rest...>:
        private simple_tuple<Rest...>
{
        First member;
public:
        simple_tuple(First const& f,Rest const& ... rest):
          simple_tuple<Rest...>(rest...),
                  member(f)
          {}
          First const& head() const
          {
                  return member;
          }
          simple_tuple<Rest...> const& rest() const
          {
                  return *this;
          }
};

template<unsigned index,typename ... Types>
struct simple_tuple_entry;

template<typename First,typename ... Types>
struct simple_tuple_entry<0,First,Types...>
{
        typedef First const& type;
        static type value(simple_tuple<First,Types...> const& tuple)
        {
                return tuple.head();
        }
};

template<unsigned index,typename First,typename ... Types>
struct simple_tuple_entry<index,First,Types...>
{
        typedef typename simple_tuple_entry<index-1,Types...>::type type;
        static type value(simple_tuple<First,Types...> const& tuple)
        {
                return simple_tuple_entry<index-1,Types...>::value(tuple.rest());
        }
};
template<unsigned index,typename ... Types>
typename simple_tuple_entry<index,Types...>::type
        get_tuple_entry(simple_tuple<Types...> const& tuple)
{
        std::cout << "SizeofArgs == " << sizeof...(Types) << std::endl;
        return simple_tuple_entry<index,Types...>::value(tuple);
}

int main()
{
        simple_tuple<int,char,double> st(42,'a',3.141);
        std::cout<<get_tuple_entry<0>(st)<<","
                <<get_tuple_entry<1>(st)<<","
                <<get_tuple_entry<2>(st)<<std::endl;
}

但我想知道这个get_tuple_entry功能。
我认为每次调用的可变参数模板参数的数量会有所不同，但 sizeof 总是返回 3。
所以该函数在某种程度上等同于以下（伪代码）

template<unsigned index, <int,char,double> >
typename simple_tuple_entry<index, <int,char,double> >::type
        get_tuple_entry(simple_tuple<int,char,double> const& tuple)
{
        std::cout << "SizeofArgs == " << sizeof...(<int,char,double>) << std::endl;
        return simple_tuple_entry<index,<int,char,double> >::value(tuple);
}

但这意味着它get_tuple_entry仅被返回值重载，这是不可能的。为什么每次通话的签名都不同？

4

1 回答 1

5

但这意味着 get_tuple_entry 仅被返回值重载，这是不可能的。

get_tuple_entry不是函数，它是函数模板。您所说的相同函数的三个重载仅在返回类型上有所不同，这并不相同。它们是函数模板的不同实例：

get_tuple_entry<0, int, char, double>
get_tuple_entry<1, int, char, double>
get_tuple_entry<2, int, char, double>

哪些功能不一样。

我以为每次调用的可变参数模板参数的数量会有所不同，但 sizeof 总是返回 3

当然。每次调用该函数模板的实例化时，都会传递相同的 type 参数simple_tuple<int,char,double>，因此每次模板参数包都被推断为int, char, double大小为 3。调用之间的区别在于您调用了不同的实例化，而get_tuple_entry<0>不是相同get_tuple_entry<1>，并且每个不同的实例化返回元组的不同元素。

这真的没有什么不同

#include <iostream>

template<int N>
void func()
{
    std::cout << N << '\n';
}

int main()
{
    func<0>();
    func<1>();
    func<2>();
}

这调用了三个不同的函数来打印不同的东西，但是相同的签名没有问题，因为func<0>()andfunc<1>()和func<2>()都是不同的函数。如果您查看损坏的名称，您会发现它们具有不同的签名，例如，我得到的 G++和_Z4funcILi0EEvv哪些不是相同的签名。_Z4funcILi1EEvv_Z4funcILi2EEvv

于 2012-08-14T13:50:48.747 回答