在读了一篇很棒的文章《真实故事：高效包装》后，我尝试自己练习练习元组：
#include <type_traits>
#include <utility>
#include <functional>
template< std::size_t I, typename T >
struct tuple_leaf { T value; };
template< std::size_t I, typename T >
T & get(tuple_leaf< I, T > & leaf)
{ return leaf.value; }
template< typename Is, typename ...Ts >
struct tuple_base;
template< std::size_t ...Is, typename ...Ts >
struct tuple_base< std::index_sequence< Is... >, Ts... >
: tuple_leaf< Is, Ts >...
{
using tuple_base_t = tuple_base;
template< typename ...Args, typename = std::enable_if_t< (sizeof...(Ts) == sizeof...(Args)) > >
tuple_base(Args &&... args)
: tuple_leaf< Is, Ts >{std::forward< Args >(args)}...
{ ; }
};
#if 0
template< typename ...Ts >
struct tuple
: tuple_base< std::index_sequence_for< Ts... >, Ts... >
{
using tuple_base_t = typename tuple::tuple_base_t;
using tuple_base_t::tuple_base_t;
using tuple_base_t::operator = ;
};
#else
// terse
template< typename ...Ts >
using tuple = tuple_base< std::index_sequence_for< Ts... >, Ts... >;
#endif
template< typename ...Args >
tuple< Args &&... >
forward_as_tuple(Args &&... args)
{ return {std::forward< Args >(args)...}; }
#include <tuple>
int
main()
{
tuple< int > t(1);
auto f = forward_as_tuple(t);
(void)f;
return 0;
}
实施后，forward_as_tuple我决定改变定义tuple从类型类模板，以别名模板基类模板的，因为从分成类的所有我需要的tuple本身和它的实现类tuple_base仅仅是std::index_sequence_for可变参数模板类型参数包-别名模板是完全合适的工具以此目的。这样做之后，我得到一个错误（#if 0案例）：
错误：对“ forward_as_tuple”的调用不明确
对我来说，这很奇怪，因为别名模板什么也不做，而另一方面forward_as_tuple，它是从同一个命名空间中调用type的-我希望ADL可以肯定地在上述情况下工作。
如何解释代码#if 1和#if 0版本之间的区别？
Adl会在传递的类型和传递的类型的模板参数中进行查找。
元组非别名具有其类型和本身作为查找ADL的地方。
元组别名的大小写std::index_sequence在其模板参数列表中。std::forward_as_tuple除了之外，这还需要考虑forward_as_tuple。它们同样是很好的匹配，并且会产生歧义。
正如@Piotr在上面的注释中指出的，tuple<std::string>即使在非别名情况下也出现此问题。
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句