blocks|key|2974905|text|我想你在找这个：|type|unstyled|depth|inlineStyleRanges|entityRanges|data|2974906|template<typename+T>
class+MyTemplate+{...}

template<typename+T>
class+MyTemplate<vector<T>+>+{...}|code-block|syntax|javascript|2974907|上面，当您创建MyTemplate<vector<int>+>+x;并且T为int时，将使用部分专门化。|offset|length|style|CODE|2974908|entityMap^0|0|0|7|R|10|1|12|3|0^^$0|@$1|2|3|4|5|6|7|O|8|@]|9|@]|A|$]]|$1|B|3|C|5|D|7|P|8|@]|9|@]|A|$E|F]]|$1|G|3|H|5|6|7|Q|8|@$I|R|J|S|K|L]|$I|T|J|U|K|L]|$I|V|J|W|K|L]]|9|@]|A|$]]|$1|M|3|-4|5|6|7|X|8|@]|9|@]|A|$]]]|N|$]]

I think you're looking for this:

<pre><code>template&lt;typename T&gt;
class MyTemplate {...}

template&lt;typename T&gt;
class MyTemplate&lt;vector&lt;T&gt; &gt; {...}
</code></pre>

Above, the partial specialization is used when you make a <code>MyTemplate&lt;vector&lt;int&gt; &gt; x;</code> and <code>T</code> is <code>int</code>.

blocks|key|1678307|text|正确的语法是：|type|unstyled|depth|inlineStyleRanges|entityRanges|data|1678308|template+<+typename+T>
class+MyTemplate<vector<T>+>+{+/*...*/+};|code-block|syntax|javascript|1678309|entityMap^0|0|0^^$0|@$1|2|3|4|5|6|7|I|8|@]|9|@]|A|$]]|$1|B|3|C|5|D|7|J|8|@]|9|@]|A|$E|F]]|$1|G|3|-4|5|6|7|K|8|@]|9|@]|A|$]]]|H|$]]

The proper syntax is :

<pre><code>template &lt; typename T&gt;
class MyTemplate&lt;vector&lt;T&gt; &gt; { /*...*/ };
</code></pre>

blocks|key|1678333|text|更一般地说|type|unstyled|depth|inlineStyleRanges|entityRanges|data|1678334|template<typename+A,+typename+B>+class+MyTemplate;
template<typename+C,+typename+D>+class+SomeTemplate;

template<typename+A,+typename+C>
class+MyTemplate<A,+SomeTemplate<C,A>+>+{+/*+...+*/+};|code-block|syntax|javascript|1678335|entityMap^0|0|0^^$0|@$1|2|3|4|5|6|7|I|8|@]|9|@]|A|$]]|$1|B|3|C|5|D|7|J|8|@]|9|@]|A|$E|F]]|$1|G|3|-4|5|6|7|K|8|@]|9|@]|A|$]]]|H|$]]

more generally

<pre><code>template&lt;typename A, typename B&gt; class MyTemplate;
template&lt;typename C, typename D&gt; class SomeTemplate;

template&lt;typename A, typename C&gt;
class MyTemplate&lt;A, SomeTemplate&lt;C,A&gt; &gt; { /* ... */ };
</code></pre>

blocks|key|1678214|text|模板可以按照以下两种方式定义：|type|unstyled|depth|inlineStyleRanges|entityRanges|data|1678215|(constants)|1678216|type+parameters|unordered-list-item|1678217|
|1678218|template参数|1678219|非类型参数|1678220|1678221|1678222|一旦如此定义，任何专门化都必须遵守参数的类型。|1678223|因此，如果您想专门化需要类型参数的vector+(模板)，则需要拼写vector的参数以创建(模板化的)类型参数：|offset|length|style|CODE|1678224|template+<typename+T,+typename+Alloc>
class+MyTemplate+<+std::vector<T,+Alloc>+>+{
};|code-block|syntax|javascript|1678225|与map类似，尽管有更多的参数：|1678226|template+<typename+K,+typename+V,+typename+C,+typename+A>
class+MyTemplate+<+std::map<K,+V,+C,+A>+>+{
};|1678227|这是你要做的:)|1678228|entityMap^0|0|0|0|0|0|0|0|0|0|H|6|Y|6|0|0|1|3|0|0|0^^$0|@$1|2|3|4|5|6|7|19|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|1A|8|@]|9|@]|A|$]]|$1|D|3|E|5|F|7|1B|8|@]|9|@]|A|$]]|$1|G|3|H|5|6|7|1C|8|@]|9|@]|A|$]]|$1|I|3|J|5|F|7|1D|8|@]|9|@]|A|$]]|$1|K|3|L|5|F|7|1E|8|@]|9|@]|A|$]]|$1|M|3|-4|5|6|7|1F|8|@]|9|@]|A|$]]|$1|N|3|-4|5|6|7|1G|8|@]|9|@]|A|$]]|$1|O|3|P|5|6|7|1H|8|@]|9|@]|A|$]]|$1|Q|3|R|5|6|7|1I|8|@$S|1J|T|1K|U|V]|$S|1L|T|1M|U|V]]|9|@]|A|$]]|$1|W|3|X|5|Y|7|1N|8|@]|9|@]|A|$Z|10]]|$1|11|3|12|5|6|7|1O|8|@$S|1P|T|1Q|U|V]]|9|@]|A|$]]|$1|13|3|14|5|Y|7|1R|8|@]|9|@]|A|$Z|10]]|$1|15|3|16|5|6|7|1S|8|@]|9|@]|A|$]]|$1|17|3|-4|5|6|7|1T|8|@]|9|@]|A|$]]]|18|$]]

A template can be defined either in terms of:

<ul>
<li>non-type parameters (constants)</li>
<li>type parameters</li>
<li>template parameters</li>
</ul>

once it has been so defined, any specialization must respect the kind of the parameter.

Therefore, if you want to specialize for a <code>vector</code> (which is a template) where a type parameter is expected, you need to spell out the parameters of the <code>vector</code> to create a (templated) type parameter:

<pre><code>template &lt;typename T, typename Alloc&gt;
class MyTemplate &lt; std::vector&lt;T, Alloc&gt; &gt; {
};
</code></pre>

Similarly for <code>map</code>, though there are more parameters:

<pre><code>template &lt;typename K, typename V, typename C, typename A&gt;
class MyTemplate &lt; std::map&lt;K, V, C, A&gt; &gt; {
};
</code></pre>

and here you go :)

blocks|key|2887365|text|我不确定为类定义模板的语法。你需要去查一查。然而，定义模板并不是包罗万象的。您需要为每个模板编写类定义。例如，如果你有一个类定义去做1个x类型的参数，并接受2个y类型的参数，等等…那么你需要一个类来处理它。与函数重载相同。你有相同的函数名，但是每个函数都有不同的参数。您为每一个都编写了一个函数。该调用根据参数列表选择正确的函数。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|2887366|所以一个班级...将通过为每个类型定义来对不同的对象进行排序。|2887367|entityMap^0|0|0^^$0|@$1|2|3|4|5|6|7|F|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|G|8|@]|9|@]|A|$]]|$1|D|3|-4|5|6|7|H|8|@]|9|@]|A|$]]]|E|$]]

I'm not sure about the syntax for defining a template for a class. You need to look that up. However defining the template is not the catch all. You need to write the class definition for each template. For example if you have an class define to do talking 1 argument of type x, and taking 2 arguments of type y, or etc... then you need a class to handle it. Same as function overloading . You have the same function name but each takes different arguments. You write a function for each. And that call picks the right function based on the argument list.

So a class that ... will sort different objects by defining for each type.

I can't for the life of me get this to work.

I have an existing template:

<pre><code>template &lt;class T&gt;
class MyTemplate;
</code></pre>

Now I want to specialize it, but for a class T that's a template--without further specializing the second template, for example:

<pre><code>template &lt;&gt;
template &lt;class T&gt;
class MyTemplate&lt;vector&gt; { /*...*/ };
</code></pre>

But this, and various other syntaxes I've tried don't seem to compile. What's the syntax for this? Or is it even possible? If not, are there possible alternatives for <code>MyTemplate</code> so that I could handle, say, a generalized specialization for both <code>vector</code> and <code>map</code>?

Partial Template Specialization of Template

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

我无论如何也不能让它起作用。我有一个现有的模板：template <class T>class MyTemplate;现在我想专门化它，但是对于一个类T，这是一个模板--而不是进一步专门化第二个模板，例如：template <>template <class T>class MyTemplate<vector> { /*...*/ };但是，这个语法和我尝试过的其他各种语法似乎不能编译。它的语法是

问模板的部分模板专业化
EN

回答 5

Stack Overflow用户

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问模板的部分模板专业化EN

回答 5

Stack Overflow用户

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问模板的部分模板专业化
EN