模板模板参数的类型推导（C++）

Question

使用下面的代码，我遇到了编译器错误：

type/value mismatch at argument 1 in template parameter list for 'template<class _Tp> class std::shared_ptr' std::shared_ptr<T> shared_pointer; ^ ../test/main.cpp:16:22: note: expected a type, got 'T'

不明白为什么T 没有正确推断为shared_pointer？

template<typename K>
class Bar{
    K k;
};

template<template<typename> class T>
class Foo{
public:
    std::shared_ptr<T> shared_pointer;
};


int main(void)
{
    Foo<Bar<std::string>> foo;
}

更新： 另一个例子：

template<typename TObject, template<TObject> class TBuffer>
class BaseGrabber {

public:
    virtual void run(std::shared_ptr<TBuffer>){};
};

当有人写类似的东西时，我想强制编译器出错

BaseGrabber<int, Bar<long>> grabber;

所以Bar 从来没有专门使用不同于第一个BaseGrabber 模板参数的类型。

Answer 1

问题 1：

[I] 无法弄清楚为什么 T 没有正确推断为 shared_pointer？

template<template<typename> class T>
class Foo{
public:
    std::shared_ptr<T> shared_pointer;
};

---

答案： T 不能推导出为 shared_ptr，因为 T 是模板类型，并且您没有给它任何模板参数。只需将其缩减为 class T 即可：

template<class T>
class Foo{
public:
    std::shared_ptr<T> shared_pointer;
};

---

问题 2：

我想在有人写以下内容时强制编译器出错：
BaseGrabber<int, Bar<long>> grabber;

答案： 我们将为BaseGrabber 编写一个空的主特化，然后在第二个参数使用与第一个参数相同的模板参数类型时将其特化：

template<class T, class U>
class BaseGrabber{
    static_assert(sizeof(T) == 0, "Template argument is not correct");
};

template<class T, template<class> class U>
class BaseGrabber<T, U<T>> {
public:
    virtual void run(std::shared_ptr<T>){};
}

像这样测试它：

int main()
{
    Foo<Bar<std::string>> foo;
    //BaseGrabber<int, Bar<long>> grabber; // compiler error
    BaseGrabber<int, Bar<int>> grabber;
}

Live Demo