blocks|key|754245|text|例如,|type|unstyled|depth|inlineStyleRanges|entityRanges|data|754246|template<class+T+=+int>+//+Default+T+is+int
class+object<T>+{
+++template<int+R>+void+test+();
};|code-block|syntax|javascript|754247|你的代码：|754248|template<>+//+T+is+fixed
template<>+//+R+is+fixed
void+object<>::test<1>()+//+T+is+default+int,+R+is+1
{
}|754249|等同于：|754250|template<>+//+T+is+fixed
template<>+//+R+is+fixed
void+object<int>::test<1>()+//+T+is+int,+R+is+1
{+
}+|754251|entityMap^0|0|0|0|0|0|0^^$0|@$1|2|3|4|5|6|7|Q|8|@]|9|@]|A|$]]|$1|B|3|C|5|D|7|R|8|@]|9|@]|A|$E|F]]|$1|G|3|H|5|6|7|S|8|@]|9|@]|A|$]]|$1|I|3|J|5|D|7|T|8|@]|9|@]|A|$E|F]]|$1|K|3|L|5|6|7|U|8|@]|9|@]|A|$]]|$1|M|3|N|5|D|7|V|8|@]|9|@]|A|$E|F]]|$1|O|3|-4|5|6|7|W|8|@]|9|@]|A|$]]]|P|$]]

For example,

<pre><code>template&lt;class T = int&gt; // Default T is int
class object&lt;T&gt; {
 template&lt;int R&gt; void test ();
};
</code></pre>

Your code:

<pre><code>template&lt;&gt; // T is fixed
template&lt;&gt; // R is fixed
void object&lt;&gt;::test&lt;1&gt;() // T is default int, R is 1
{
}
</code></pre>

is equivalent to:

<pre><code>template&lt;&gt; // T is fixed
template&lt;&gt; // R is fixed
void object&lt;int&gt;::test&lt;1&gt;() // T is int, R is 1
{ 
} 
</code></pre>

blocks|key|754315|text|这是类模板成员函数模板的模板专门化(我没弄错吧？)，模板有一个默认参数。看看这个：|type|unstyled|depth|inlineStyleRanges|entityRanges|data|754316|template<typename+T+=+int>
struct+X+{
++template<typename+U>
++void+foo(U+u);
};

template<>
template<>
void+X::foo(float+f)+{+}|code-block|syntax|javascript|754317|这为X的模板参数为int而X<int>::foo的参数为float的情况引入了专门化。这种情况与你的略有不同，我们不需要在成员函数的名称后面显式地提供模板参数，因为它可以推导出来。您的函数具有无法推导的非类型模板参数，因此必须提供该参数。|offset|length|style|CODE|754318|最让我困惑的是默认的模板参数，我不确定使用跳过它是否是一个好的做法。我会为每个专门化提供它，以避免混淆。|754319|entityMap^0|0|0|2|1|9|3|D|B|S|5|0|0^^$0|@$1|2|3|4|5|6|7|Q|8|@]|9|@]|A|$]]|$1|B|3|C|5|D|7|R|8|@]|9|@]|A|$E|F]]|$1|G|3|H|5|6|7|S|8|@$I|T|J|U|K|L]|$I|V|J|W|K|L]|$I|X|J|Y|K|L]|$I|Z|J|10|K|L]]|9|@]|A|$]]|$1|M|3|N|5|6|7|11|8|@]|9|@]|A|$]]|$1|O|3|-4|5|6|7|12|8|@]|9|@]|A|$]]]|P|$]]

This is the template specialization of a class template member function template (did I get that right?), with a default parameter for the template. Look at this:

<pre><code>template&lt;typename T = int&gt;
struct X {
 template&lt;typename U&gt;
 void foo(U u);
};

template&lt;&gt;
template&lt;&gt;
void X::foo(float f) { }
</code></pre>

This introduces a specialization for the case where the template parameter of <code>X</code> is <code>int</code> and the argument to <code>X&lt;int&gt;::foo</code> is <code>float</code>. This case is slightly different from yours, we don't have to provide the template argument explicitly after the name of the member function as it can be deduced. Your function has a non-type template argument which cannot be deduced and as such must be provided.

What confused me the most is the default template argument and I'm unsure if it is good practice to use skip it. I'd provide it for every specialization to avoid confusion.

blocks|key|754383|text|在我看来，这就像是类模板中函数模板的专门化。例如，考虑以下类模板定义：|type|unstyled|depth|inlineStyleRanges|entityRanges|data|754384|template+<int+m=1>
class+object
{
public:
++template+<int+n>
++void+test();
};

//+This+differs+from+your+example,+by+the+addition+of+`<>`+after+`object`,+but+it's+as
//+close+as+I+can+come+to+valid+code+true+to+your+example
template<>+
template<>+
void+object<>::test<1>()+
{+
}+|code-block|syntax|javascript|754385|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|$]]

That looks to me like a specialization of a function template within a class template. For example, consider the following class template definition:

<pre><code>template &lt;int m=1&gt;
class object
{
public:
 template &lt;int n&gt;
 void test();
};

// This differs from your example, by the addition of `&lt;&gt;` after `object`, but it's as
// close as I can come to valid code true to your example
template&lt;&gt; 
template&lt;&gt; 
void object&lt;&gt;::test&lt;1&gt;() 
{ 
} 
</code></pre>

There is such function definition:

<pre><code>template&lt;&gt;
template&lt;&gt;
void object::test&lt;1&gt;()
{
}
</code></pre>

What does it mean that there are double template&lt;>?

EDIT:

I extracted code which is valid for this example:

<pre><code>#include &lt;iostream&gt;

template &lt;class U&gt;
class A {

 template &lt;int n&gt;
 void test() {

 }
};

template &lt;class T&gt;
class B {
public:
 typedef A&lt;T&gt; object;
};

typedef B&lt;int&gt;::object object;

template&lt;&gt;
template&lt;&gt;
void object::test &lt; 1 &gt; () {
}

int main() {
 return 0;
} 
</code></pre>

This code compiles under g++.

Source: <a href="http://tut-framework.sourceforge.net/doxygen/basic_2test__vector_8cpp-example.html">TUT test framework</a>

Double template<> statements

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

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

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

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

文章

问答

视频

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

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

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

腾讯云数据库专区

腾讯云顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

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

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

这里有这样的函数定义：template<>template<>void object::test<1>(){}有两个template<>是什么意思？编辑：我提取了对此示例有效的代码：#include <iostream>template <class U>class A { template <int n> ...

问双template<>语句
EN

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问双template<>语句EN

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问双template<>语句
EN