消除模板函数递归定义的歧义
是指在使用模板函数时，当模板函数内部包含对自身的调用时，可能会出现歧义，导致编译器无法确定调用的具体函数。为了消除这种歧义，可以采用以下两种方法：
- 通过函数重载实现递归：在函数重载中，可以定义多个具有相同函数名但参数列表不同的函数。通过对模板函数进行重载，可以实现递归调用。在每一次递归调用中，都会选择参数类型最匹配的函数进行调用，从而消除了歧义。这种方法在模板函数递归定义时非常常用。
- 使用模板特化或偏特化：模板特化是指为模板函数提供特定类型的实现，以处理该类型的参数。模板偏特化是指为模板函数提供部分类型参数的实现，以处理特定的类型组合。通过对模板函数进行特化或偏特化，可以为不同的参数类型提供不同的实现，避免歧义的产生。
消除模板函数递归定义的歧义可以提高代码的可读性和可维护性。在实际应用中，可以根据具体的需求和场景选择适合的方法进行实现。
腾讯云提供的相关产品和服务中，与模板函数递归定义的问题相关的可能是函数计算（SCF）。函数计算是一种事件驱动的计算服务，可以让您无需管理服务器等基础设施，只需编写并上传代码，就能获得弹性、可靠的云端托管服务。在函数计算中，您可以编写递归函数，并通过函数计算平台进行运行和调试。
更多关于腾讯云函数计算（SCF）的信息，您可以访问腾讯云官方网站：https://cloud.tencent.com/product/scf，了解其功能、特点以及应用场景。
相关·内容
1回答
考虑以下程序：
namespace NS2 {
class base { };
template<typename T>
int size(T& t) {
std::cout << "size NS2 called!" << std::endl;
return sizeof(t);
}
};
namespace NS1 {
class X : NS2::base { };
}
namespace
浏览 1提问于2009-09-14得票数 3
回答已采纳
2回答
我有这段代码，它不编译(编辑:用VC编译，但不是用GCC编译)：
template<int N>
struct List
{
template <class C>
void clear() { }
};
template <int L>
class Test
{
public:
List<L> list; // <--This line
void method()
{
list.clear<int>(); // <-- Compile error here: error
浏览 3提问于2014-05-12得票数 0
回答已采纳
1回答
我在表单中有一个CFG PB := PB | R | R
R := s 我尝试通过删除左递归来使其成为ll(1)，从而导致 PB := R PB' | R PB'
PB' := PB'| ϵ
R := s 然而，我认为，删除左递归会使语法现在变得模糊。 如何解决这个问题？
浏览 17提问于2019-02-26得票数 0
回答已采纳
2回答
所以我有一个包含许多成员的结构，包括一个指向PCLVisualizer对象的boost共享指针。PCLVisualizer类是一个带有成员函数updatePointcloud的模板化类。我正在尝试为模板PointType调用updatePointCloud。请参考下面的代码：
template <typename PointType>
class A {
struct gt_data_type {
model_struct line;
PointCloudTPtr input;
PointCloudTPtr output;
浏览 0提问于2013-01-12得票数 0
回答已采纳
请注意，我可以简单地绕过这个问题，我只是好奇为什么会发生这种情况。
我试图从另一个模板函数调用返回值上的模板函数，这些函数都在模板函数中。我使用模板对象作为模板参数调用模板函数。模板对象是用外部模板参数定义的。
#include <string>
class Class
{
public:
static Class& define( std::string name ) {
return *new Class();
}
template<typename C, typename... Args>
Class&a
浏览 2提问于2014-02-23得票数 2
回答已采纳
原cfg为 S -> S + S | SS | (S) | S* | a 在重构和消除左递归之后，我得到了以下缩减： S -> TB
B -> AB | e
A -> +S | TB | *
T -> (S) | a 在计算follow(B)时，我可以找到的在线来源说它应该是{$}。然而，根据龙书中的规则，它看起来像follow(B) = follow(S) + follow(A)，因为规则3(生产A -> aB导致follow(A)中的所有内容都在follow(B)中。 我对规则的理解有误吗？
浏览 30提问于2021-01-19得票数 0
回答已采纳
2回答
template<typename FilterComponent, typename ...FilterComponents>
std::bitset<components_count> component_impl(std::bitset<components_count> &b){
b.set(FilterComponent::get_id());
return component_impl<FilterComponents...>(b); //ambiguous
}
template<type
浏览 1提问于2014-12-29得票数 0
回答已采纳
2回答
正如标题所提到的。以下代码显示错误：
#include <iostream>
using namespace std;
class link
{
public:
link()
{
num=0;
next=NULL;
}
int num;
link* next;
};
int main() {
link test;
return 0;
}
将此代码编译为
g++ test.cpp -o test
我的g++版本是
g++
浏览 3提问于2013-03-28得票数 6
回答已采纳
1回答
我正在阅读下面的C++代码：
// Take a whole packet from somewhere.
EthernetII packet = ...;
// Find the IP layer
const IP* ip = packet.find_pdu<IP>();
if(ip) {
// If the pointer is not null, then it will point to the IP layer
}
// Find the TCP layer. This will throw a pdu_not_found exception
// if ther
浏览 0提问于2018-01-22得票数 0
2回答
我正在尝试弄清楚如何从Ruby解析器(https://github.com/kenaniah/ruby-parser/blob/master/ruby-parser/src/parsers/expression/logical.rs)的Rust端口中的逻辑关键字表达式中删除间接的左递归。语法看起来像这样： E --> N | A | O | t
N --> n E
A --> E a E
O --> E o E E = expression
A = keyword_and_expression
O = keyword_or_expression
N = keyword
浏览 29提问于2020-09-02得票数 1
例如：
R → R bar R|RR|R star|(R)|a|b
构造一个等价的无歧义语法：
R → S|RbarS S→T|ST
T → U|Tstar U→a|b|(R)
如何消除R → R bar R|RR|R star|(R)|a|b的左递归
Eliminate left-recursion和construct an equivalent unambiguous grammar有什么不同
浏览 4提问于2016-05-28得票数 0
2回答
例如，我希望从两个序列( left和right )中获得最大值的列表，并将结果保存在max_seq中，这些结果都是先前定义和分配的，
std::transform(left.begin(), left.end(), right.begin(), max_seq.begin(), &max<int>);
但是这不能编译，因为编译器说
note: template argument deduction/substitution failed
我知道我可以在struct或lambda中包装"std::max“。但是，有没有一种没有包装器的directly使用std:
浏览 2提问于2014-08-21得票数 5
回答已采纳
1回答
嵌套类显式规格:不同的编译器行为
、、、、
以下代码
template <typename>
struct A
{
template <typename>
struct B
{
};
};
template <>
template <>
struct A<int>::B<char>
{
static void foo();
};
void A<int>::B<char>::foo()
{
}
int main()
{
}
vc++编译错误消息：
错误C2906：'void：：b:foo(
浏览 4提问于2018-04-23得票数 9
我正在尝试理解ostream重载。考虑一下这个
#include <iostream>
using std::ostream;
enum class A{a1, a2, a3};
template <class T>
ostream& operator<<(ostream& out, const T& a)
{
switch(a)
{
case T::a1 :
return out<<"a1";
case T::a2 :
return out<
浏览 0提问于2013-06-19得票数 5
回答已采纳
1回答
我发现自己经常从vector中删除元素，而不关心顺序的维护，这意味着使用擦除将是浪费的。最好用最后一个元素和pop_back()交换移除元素。标准库中似乎没有任何东西可以这样做，所以我正在尝试编写自己的模板，但我确实对模板语法没有很强的把握。
我写了这个：
template<typename T>
void unordered_erase(std::vector<T>& vec, const std::vector<T>::iterator& it)
{
if (it != vec.end())
{
std::
浏览 3提问于2016-04-11得票数 2
回答已采纳
我有一个重载的函数，我想将其封装在std::function中传递。GCC4.6没有找到“匹配函数”。虽然我在这里确实发现了一些问题，但答案并不像我希望的那样清晰。谁能告诉我为什么下面的代码不能推导出正确的重载，以及如何(优雅地)解决它？
int test(const std::string&) {
return 0;
}
int test(const std::string*) {
return 0;
}
int main() {
std::function<int(const std::string&)> func = test;
浏览 0提问于2012-04-12得票数 10
回答已采纳
3回答
#include <stdio.h>
typedef struct test {
enum en {
zero, one
} en;
} test;
int main(){
test t;
// t.en = test::one; <-- How can I accomplish this?
return 0;
}
test::one是一种C++语法，不会在C中编译。可以从C结构外部访问en吗？
我知道我可以在这里使用像t.en = 1;这样的整数，但是我正在尝试使用枚举值。
浏览 11提问于2021-05-17得票数 4
回答已采纳
1回答
各种模板化类中的模板化方法
、、、、
有没有办法实施这种行为？
template < typename... Args >
class MyClass
{
public:
typedef std::tuple < Args... > my_tuple;
template < int n >
static int bar () { return -5; };
};
我需要的是这个--我有各种模板化的MyClass，其中包含foo方法，该方法由另一种类型(在我的例子中只有整数)模板化。这有可能吗？我已经找到了简单的解，但只适用于非变量类。
但是由于bar，这是无法编译的
浏览 2提问于2014-04-04得票数 2
回答已采纳
3回答
我遇到了一个语法错误，我确信它是正确的：
expected constructor, destructor, or type conversion before '*' token
expected `;' before '*' token
ListP.h
#ifndef LISTP_H
#define LISTP_H
template <typename T>
class ListP
{
private:
struct ListNode
{
T item;
ListNode* next;
浏览 0提问于2013-09-25得票数 1
用于此代码(可在上获得)
template<typename T>
void f(const T&) { std::cout << "const T& overload\n"; }
template<typename T>
void f(T&&) { std::cout << "T&& overload\n"; }
int main()
{
const int x = 0;
f(x); // calls const T&a
浏览 5提问于2013-07-20得票数 1
回答已采纳
1回答
考虑以下代码：
#include <boost/range.hpp>
#include <boost/iterator/counting_iterator.hpp>
typedef boost::iterator_range<boost::counting_iterator<int>> int_range;
template <typename T>
class Ref {
T* p_;
public:
Ref(T* p) : p_(p) { }
/* possibly other im
浏览 0提问于2014-01-15得票数 6
回答已采纳
1回答
所以我有模板类(缩写)，比如：
template <typename keyT, typename valueT>
class hashMap {
public:
using dataT = pair<keyT,valueT>;
using maybeT = optional<dataT>;
maybeT notFound = optional<dataT> ();
maybeT find(keyT &v);
<snip>
};
当我试图定义find()时，我已经
template &l
浏览 0提问于2014-04-14得票数 0
回答已采纳
3回答
智能指针上的模板推导/替换失败
、、、、
让我们考虑一下这段代码： template<typename T>
struct A
{
//...
};
struct B : public A<int>
{
//...
};
template<typename T>
bool validate(A<T>* p)
{
//...
return true;
};
int main()
{
A<int>* pA;
std::cout << validate(pA) << std::endl;
B* pB;
std::co
浏览 7提问于2020-04-30得票数 4
我有一个赋值，后面跟着一个字符串插值：
var a = 3;
`${a} One two three`
"3 One two three"
如果我在赋值后留下了；，那么代码就失效了：
var a = 3
`${a} One two three`
VM573:2 Uncaught TypeError: 3 is not a function
at <anonymous>:2:1
我认为；只有在{}之后才是强制性的...有没有人能解释一下上面的内容？
浏览 15提问于2017-01-27得票数 0
回答已采纳
2回答
考虑下面的简单类(请不要争论是否有用)：
class Container
{
public:
Container(const long long &val); //construct the container with a long long
Container(const long double &val); //construct the container with a long double
Container(const std::string &val); //construct the contai
浏览 0提问于2015-07-15得票数 1
给出一个Kotlin同伴对象
class A {
companion object {
val a = 0
fun b() = 1
object C {
val d = 0
}
}
}
fun main(args: Array<String>) {
println(A.a)
println(A.b())
println(A.C.d) // doesn't compile
println(A.Companion.C.d)
}
为什么Comp
浏览 2提问于2017-10-04得票数 4
回答已采纳
所以我有这样的代码：
#include "type_traits"
struct A{
int member;
};
struct B{
typedef A object;
typedef int member;
};
typedef std::integral_constant<B::member, B::object::*, &A::member> type;
但如果我将最后一行更改为：
typedef std::integral_constant<typename B::member, typename B::obj
浏览 5提问于2017-08-04得票数 3
回答已采纳
我试图让google闭包编译器从我的javascript中删除一些日志函数调用，但没有成功。下面是我的测试代码，它复制了我所看到的
/** @define {boolean} */
var ENABLE_LOGGING = true;
(function() {
function obj(name) {
this.name = name;
}
obj.prototype = {
log: ENABLE_LOGGING ?
function(msg) { console.log(this.name + &#
浏览 5提问于2013-12-16得票数 1
回答已采纳
1回答
将语法转换为LL1语法
、、、
我正在复习明天的考试，并复习前几年的考试。
考试的重点是语法。
Expression -> Foo "+" Bar "end"
Foo -> [a-z0-9]+ | Expression
Bar -> Expression Foo | a*b*c+
我试着花了几个小时研究如何做到这一点，但就是搞不明白。
我已经看过用epsilion之类的东西来替换东西了，但我没有信心。
我认为我需要创建一个Foo‘and a Bar’，然后添加epsilon规则，但我不确定。
有没有人能给我演示一下(简单地)_how把它变成LL(1)的语法
提前感谢
浏览 0提问于2011-10-30得票数 0
回答已采纳
2回答
在Ocaml中，我在两个类型定义中使用了相同的类型构造函数名称。像这样： type a=
...
| The_constructor of ...
| ...
type b:
...
| The_constructor of ...
| ... 当我将它用作(fun x-> The_constructor(x))时，the_constructor被直接赋值为'b‘(大概是因为它是最后一个)，但我希望它是'a’。这是一种方法吗？我尝试了像(a.The_constructor)这样的东西，但不起作用。 提前感谢！
浏览 18提问于2020-10-02得票数 0
回答已采纳
在JS中定义变量时，应该在变量前面加上关键字var。
例：var age = 19;
但是，当将变量作为函数参数传递时，您不会将var放入。
例：
function myFunction(name) {
alert(name);
}
为什么？
浏览 4提问于2017-10-12得票数 0
1回答
策略函数的非类型模板
、、、
因此，我尝试使用一个策略，该策略具有一个非类型的模板化函数。编译器在弄清楚我想要做什么时遇到了一些问题。
例如，一个策略如下所示：
template <int unsigned NBits> struct Foo {
/* Internal data type that provides NBits of storage */
typedef int unsigned DataType; // for example
/* Accessor */
template <int unsigned QueryBit>
bool const IsBitSet(DataTy
浏览 4提问于2013-08-17得票数 3
除了本周我的Alamofire SO帖子之外，为什么我的RequestInterceptor不能工作？adapt函数内部的任何东西都不会被调用，但是这两个函数外部的断点都会被命中。 我开始相信这不是特别的RequestInterceptor本身，因为我复制了一些不同的指南，看看它是否会在函数内部中断，但他们没有。https://www.avanderlee.com/swift/authentication-alamofire-request-adapter/ https://www.raywenderlich.com/11668143-alamofire-tutorial-for-ios-a
浏览 26提问于2021-09-28得票数 0
1回答
不明确的C++编译器错误
、、、
以下代码无法编译。错误似乎是对merge例程的某种模棱两可的调用。我的理解是，STL在std名称空间中有一个合并例程，但据我所知，下面代码中的名称merge应该是唯一的。
如果我将merge重命名为xmerge，一切都会正常工作。问题会是什么呢？名字clash是从哪里来的？
#include <iostream>
#include <iterator>
#include <vector>
template<typename InputIterator1,
typename InputIterator2,
type
浏览 0提问于2011-02-02得票数 8
2回答
在C++中专门化函数模板的语法
、、、、
假设我有一个函数模板，其中类型参数仅用作返回类型：
template <typename T>
T foo()
{
return whatever;
}
那么专门化该函数模板的正确语法是什么？以下两种方法似乎都有效：
template <>
std::string foo()
{
return whatever;
}
template <>
std::string foo<std::string>()
{
return whatever;
}
这两者之间有什么区别吗？如果不是，惯用的方式是什么？
浏览 0提问于2011-08-05得票数 6
回答已采纳
2回答
递归变量模板函数的编译误差
、、、、
我在Code：：Block中准备了一个简单的可变模板测试，但是我得到了一个错误：
没有调用'OutputSizes()‘的匹配函数
这是我的源代码：
#include <iostream>
#include <typeinfo>
using namespace std;
template <typename FirstDatatype, typename... DatatypeList>
void OutputSizes()
{
std::cout << typeid(FirstDatatype).name() <&l
浏览 0提问于2011-02-17得票数 10
回答已采纳
1回答
转换重载函数是不明确的。
、、、、
我遇到的一个问题是，创建指向重载函数的函数指针会导致g++ 4.7和g++ 4.8上的编译错误，而不会导致g++ 4.4、g++ 4.6或clang++ 3.2 (可能还有VS2010)的编译错误。
在谷歌上搜索了一下，找出问题是g++还是我的代码时，我仍然无法决定。应用于函数指针转换的重载解析规则是否与应用于函数调用的规则不同？
这是一个稍微最小化的代码，它演示了这个问题：
template < class T >
struct Dummy {
typedef T value_type;
value_type value;
};
template < cl
浏览 2提问于2013-11-06得票数 6
回答已采纳
g++为此代码生成错误。我得把std::sin换成(double (*)(double))std::sin。为什么？
#include <iostream>
#include <list>
#include <algorithm>
#include <cmath>
int main(int argc, char *argv[])
{
std::list<double> radians = {0.0, 3.14/2, 3.14};
std::list<double> sines(radians.size()
浏览 1提问于2020-02-12得票数 1
回答已采纳
1回答
我正在尝试使用一些模板自动生成const成员函数对。请帮我编译这段代码。
template<typename T>
struct Constifier
{
typedef T Type;
};
template<typename T>
struct Constifier<T &>
{
typedef const T &Type;
};
template<typename T>
struct Constifier<T &&>
{
typedef const T &&Type
浏览 2提问于2015-09-06得票数 0
回答已采纳
我已经创建了一个这样的函数。 create or replace function pesquisar_imoveis_residenciais_venda()
returns table(preco decimal)
as $$
begin
select preco from casa_venda;
end; $$
language 'plpgsql'; 当我调用它时 select pesquisar_imoveis_residenciais_venda() 我得到的列引用preco是不明确的。 我访问了一些相关的问题。但是它们太难理解了，非常复杂的函数。
浏览 30提问于2019-09-29得票数 0
1回答
假设我有一个模板类TemplateClass，它具有模板函数templFcn，如下所示：
template <typename T>
struct TemplateClass {
template <bool Bool> void templFcn(int i) { }
};
void test() {
TemplateClass<float> v;
v.templFcn<true>(0); // Compiles ok.
}
现在，我想编写一个forward函数来模拟这种行为。
template <typename T, t
浏览 2提问于2015-03-07得票数 4
回答已采纳
1回答
我正在研究模板和typename关键字，我在以下代码中遇到错误： /*1)*/ #include<iostream>
/*2)*/ #include<cstdio>
/*3)*/ #include<stdlib.h>
/*4)*/
/*5)*/ using namespace std;
/*6)*/
/*7)*/ class out
/*8)*/ {
/*9)*/ public:
/*10)*/ int i;
/*11)*/ out(int i,int j):i{i},ob{j}{}
/*12)*/ class in
/
浏览 10提问于2020-01-03得票数 2
回答已采纳
1回答
这真的是一个依赖的模板名吗？
、、、、
我有一些无法编译的代码，我将其简化为以下最低版本：
class Builder
{
public:
Builder()
{}
auto foo(int) -> Builder &
{
return *this;
}
template<typename T>
auto bar() -> Builder &
{
return *this;
}
};
tem
浏览 1提问于2020-03-18得票数 2
回答已采纳
在最近的更新之前，将记录插入到表中的代码运行良好，但是现在出现了这个错误，所以我想知道我做错了什么。
记录插入示例代码：
Recipes.insert(Title <- "Chocolate Cake", Description <- "Rich and moist", CookTime <- 20, PictureURL <- "http://w2.fnstatic.co.uk/sites/default/files/pictures/articles/omg-chocolate-cake-7.jpg", Vide
浏览 3提问于2015-04-27得票数 2
回答已采纳
1回答
我正在编译一个C++库，它使用C++数学库Eigen3。但是，以下代码在使用VC2013编译时会引入一些语法错误：
template <typename Derived>
inline Eigen::Transform<typename Derived::Scalar, 3, Eigen::Isometry> v2t(const Eigen::MatrixBase<Derived>& x_) {
Eigen::Transform<typename Derived::Scalar, 3, Eigen::Isometry> X
浏览 3提问于2017-07-19得票数 3
回答已采纳
2回答
我正在编写一个包含以下内容的小型库：
using foo_t = int;
using bar_t = int;
baz_t create_baz(foo_t foo, bar_t bar = default_bar);
我还希望有一个create_baz函数，它只需要一个条形图：
baz_t create_baz(bar_t bar);
但这将与默认的第一个版本的create_baz冲突-因为foo_t和bar_t是相同的。所以，我在想:也许我应该
struct foo_t { int value; }
struct bar_t { int value; }
(或者只是将它们中的一个包装在
浏览 0提问于2016-11-16得票数 3
1回答
有没有现成的函数可以将模板参数作为参数，并确定它是用户定义的类型(class或struct)还是内置数据类型(int，float，char...)？
浏览 1提问于2017-02-01得票数 0
1回答
VARIABLE: ...
UNARYOP: 'not' Expression; // unary operation
BINARYOP: 'or' VARIABLE;
Expression : (NIL | INTEGER | UNARYOP) BINARYOP?;
在上面的场景中，'or‘可以通过
表达式->BINARYOP
或
表达式->UNARYOP->表达式->BINARYOP
有没有一种系统的方法来消除上面这样的歧义？
浏览 0提问于2009-09-20得票数 1
回答已采纳
1回答
变量类中的模板函数
、、、
为什么goo中的注释行不能编译？相反，我不得不求助于定义全局函数hoo，而不是使用Thing成员函数foo？
#include <iostream>
template <typename... T>
struct Thing {
template <typename U> void foo() {std::cout << this << '\n';}
};
template <typename U, typename... T>
void hoo (const Thing<T...>
浏览 2提问于2014-12-19得票数 1
回答已采纳
我有语法：
S -> aSb | bSa | SS | epsilon
我想要生成一个明确的版本。
我尝试了分层，但只做到了这一点，这并不是明确的，我不相信，因为规则A -> aC和A -> AA都可以用于一些输入：
S -> A | epsilon
A -> aC | bD | AA
C -> Cb | b
D -> Da | a
浏览 4提问于2014-03-23得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM活动推荐
腾讯云开发者
