2

即使在琐碎代码的上下文中，函数模板上的显式模板参数也一次又一次地让我感到惊讶。这样的代码应该被视为反模式吗？一些开发人员在其他 StackOverflow 线程中假设了这一点。

在以下代码中，编译器在代码位置 (1) 处报告错误，指出未找到合适的函数重载。如果编译器检测到歧义，我不会那么惊讶，但事实并非如此。有什么提示吗？我正在使用 gcc 4.6.2

编辑：我不是在寻找解决方案。cppreference 中记录了一个示例解决方案。我正在寻找解释。

#include <iostream>
#include <tuple>
#include <type_traits>

using namespace std;

template<typename T, size_t N = 1>
//typename enable_if<integral_constant<bool, N==1>::value, ostream>::type &
ostream & operator << (ostream& stream, tuple<T> const & t)
{
        return stream << get<0>(t) << endl;
}

template<typename ...T, size_t N = sizeof...(T)>
//typename enable_if<integral_constant<bool, N!=1>::value, ostream>::type &
ostream & operator << (ostream& stream, tuple<T...> const & t)
{
        operator << <T...,N-1> (stream, t); // (1) compile error
        return stream << get<N-1>(t) << endl;
}

int main ()
{
        auto t = make_tuple ("hallo", 1L, 1.1);
        cout << t << endl;
}
4

1 回答 1

2

您可以删除第一个重载，效果是一样的。第一个重载永远不是候选，因为它只需要 atuple和 one T。

查看第二个重载，问题在于模板参数的顺序错误，即 thesize_t和参数 pack T...。编译器最后需要有参数包。这个规则基本上是：

  • 您只能有一个明确指定的参数包。
  • 这必须是最后一个明确指定的参数。
  • 所有其他参数（如果有）必须从参数推导出来，否则它们必须具有默认值。

由于交换参数，这是允许递归调用本身的东西，但现在编译器本身将以无限递归结束：

#include <iostream>
#include <tuple>

using namespace std;

template<size_t N, typename ...T>
ostream & print (ostream& stream, tuple<T...> const & t)
{
    print< N-1, T... > (stream, t);
    return stream << get<N-1>(t) << endl;
}

template<typename ...T>
ostream & operator << (ostream& stream, tuple<T...> const & t)
{
    return print< sizeof...(T), T... >( stream, t );
}

int main ()
{
    auto t = make_tuple ("hallo", 1L, 1.1);
    cout << t << endl;
}

您可以尝试一下（不会发生真正糟糕的事情），一段时间后，您会收到来自编译器的错误消息。

为了进一步说明问题，请看这个简化的示例：

#include <tuple>

// everything after the first parameter pack *must* be deduced or come from a default
template<typename ...T, int S=0>
void f(const std::tuple<T...>& arg) {}

int main() {
    // OK
    f(std::tuple<int>(1));
    f<int>(std::tuple<int>(1));

    // Fail
    f<int,0>(std::tuple<int>(1));
}
于 2013-10-06T08:33:19.047 回答