Question

我正在实现类似于std :: list的类。我在调用错误的构造函数时遇到问题。

这是一个工作代码段：

#include <iostream>

template <typename T>
class dslist
{
public :
    typedef size_t    size_type ;
public :
    explicit dslist( const size_type count , const T &value ) ;
    template <typename InputIt>
    explicit dslist( InputIt first , InputIt last ) ;
} ;
template <typename T>
dslist<T>::dslist( const size_type count , const T &value )
{
    std::cout << "count, value ctor" << std::endl ;
}
template <typename T>
template <typename InputIt>
dslist<T>::dslist( InputIt first , InputIt last )
{
    std::cout << "Iterator" << std::endl ;
}

int main()
{
    dslist<int> l( 10 , 20 ) ;
    return 0 ;
}

如果运行此命令，则调用迭代器构造函数。但是，实际上应该调用第一个构造函数（计数，值）。

在这种情况下如何确保第一个构造函数被调用？

编辑以在此处添加从答案中提取的解决方案：

解决方案

#include <iostream>
#include <utility>
#include <vector>
#include <type_traits>

template <typename T>
class dslist
{
public :
    typedef size_t    size_type ;
public :
    explicit dslist( const size_type count , const T &value ) ;
    template <typename InputIt, typename = decltype(*std::declval<InputIt>())>
    explicit dslist( InputIt first , InputIt last ) ;
} ;
template <typename T>
dslist<T>::dslist( const size_type count , const T &value )
{
    std::cout << "count, value ctor" << std::endl ;
}
template <typename T>
template <typename InputIt, typename>
dslist<T>::dslist( InputIt first , InputIt last )
{
    std::cout << "Iterator" << std::endl ;
}

int main()
{
    dslist<int> l( 10 , 20 ) ;

    std::vector<int> v( 10 ) ; 
    dslist<int> l1( std::begin( v ) , std::end( v ));
    return 0 ;
}

Answer 1

鉴于dslist<int> l( 10 , 20 ) ;，模板构造函数在重载解析中获胜，因为它是完全匹配的。虽然第一个构造函数需要从int（10的类型）到size_t（无符号整数类型）的隐式转换。

您可以使用SFINAE从重载集中排除不需要的专业。例如迭代器类型应该支持operator*。

template <typename InputIt, typename = decltype(*std::declval<InputIt>())>
explicit dslist( InputIt first , InputIt last ) ;

LIVE

Answer 2

由于值10和20当然是int，因此迭代器ctor匹配得最好。所以：

您可以添加显式强制类型转换（例如size_t(10)或static_cast<size_t>(10)来调用正确的强制类型转换。
为size_t创建用户定义的文字，因为没有内置的文字

不能调用模板构造函数

2 个答案: