C＆＃x2B;＆＃x2B;类模板可以是无意义的专业和实例化的，而无需角度括号？

Question

这实际上是编译和工作的，但这对我来说还不清楚。

#include <iostream>

template <class T>
class LikeA
{
    T m_val{};
    public:
    LikeA() = default;
    explicit LikeA(T iv): m_val(std::move(iv)) {}
    LikeA(LikeA<T> const &) = default;
    LikeA(LikeA<T> &&) noexcept = default;
    ~LikeA() noexcept = default;
    operator T const &() const { return m_val; }
    LikeA<T> &operator=(T nv) { m_val = std::move(nv); return *this; }
    LikeA<T> &operator=(LikeA<T> const &n) { m_val = n.m_val; return *this; }
    LikeA<T> &operator=(LikeA<T> &&n) { m_val = std::move(n.m_val); return *this; }
};

template <class T>
T f (LikeA<T> i)
{
    return i;
}

int main()
{
    std::cout << f(LikeA{3.1415927}) << '\n';  // No template argument? Not a syntax error?
    return 0;
}

我以前是在调用f喜欢f（3.1415927） 之前，我让棉绒检查器说我要让我做一个likea s构造仪explicit。之后，当然，它不能隐式将常数转换为likea。如果您只添加括号（即f（{{3.1415927}）编译器仍然不知道要选择什么。

在我的完整代码中，实际的模板参数更加详细，所以仅对于笑我来说，将模板名称放在支架初始化器的前面，完全期望

的惊喜，它汇编并ran 。

我 我只是将我带入了错误的

安全感表面，与参数有关的查找似乎是答案，但是请注意没有角度括号，并且模板没有默认的

参数href =“ https://stackoverflow.com/questions/25742819/function-template-specialization-without-templated-argument”>函数模板专业化而无需模板参数不回答这个问题。

function template gratplate grapplate grapplate grapplate参数关于省略＆lt ;＆gt;，但这是一个类模板。语法在这里似乎一直都需要角度支架。

Answer 1

由于C ++ 17，编译器可以使用类模板参数扣除（CTAD）自动推导模板的参数类型。如果构造函数能够推断出所有模板参数，则可以显式地跳过模板参数。

因此，您只需

int main()
{
    std::vector v{2, 4, 6, 8};      // same as std::vector<int>
    std::list   l{1., 3., 5.};      // same as std::list<double>
    std::pair   p{false, "hello"};  // same as std::pair<bool, const char *>
    
    std::cout << typeid(v).name() << std::endl;
    std::cout << typeid(l).name() << std::endl;
    std::cout << typeid(p).name() << std::endl;
}

在MSVC下写入以下输出，

class std::vector<int,class std::allocator<int> >
class std::list<double,class std::allocator<double> >
struct std::pair<bool,char const * __ptr64>

请参考 ctad for更多细节。