添加typename导致程序编译失败
是一个常见的编译错误，通常发生在C++模板编程中。在C++中，当使用模板类或模板函数时，有时需要在某些上下文中使用typename关键字来指示一个类型是一个类型而不是一个成员变量或静态成员。
当在模板中使用嵌套类型时，编译器无法确定嵌套类型是一个类型还是一个成员变量。在这种情况下，我们需要使用typename关键字来明确告诉编译器这是一个类型。
然而，如果在不需要使用typename的地方错误地使用了它，或者在不需要使用typename的地方没有使用它，都会导致编译失败。
解决这个问题的方法是仔细检查代码中使用typename的地方，确保它们被正确地使用。如果typename被错误地使用，可以尝试删除它。如果typename没有被使用，但是应该被使用，可以尝试添加它。
以下是一个示例代码片段，展示了typename的正确使用：
template<typename T>
void printSize(const T& container) {
typename T::size_type size = container.size();
std::cout << "Size: " << size << std::endl;
}在上面的代码中，我们使用typename关键字来指示T::size_type是一个类型。如果没有使用typename，编译器将无法确定size_type是一个类型还是一个成员变量。
对于这个问题，腾讯云提供了一系列云计算产品和服务，包括云服务器、云数据库、云存储、人工智能服务等。您可以访问腾讯云官方网站（https://cloud.tencent.com/）了解更多关于这些产品和服务的详细信息。
相关·内容
编辑:为之前的错误代码道歉。下面是一个可编译的示例，演示了这个问题。
我正在尝试实现一个访问者，它简化了这个基本模式：
class Base {};
class BaseA : public Base {};
class BaseB : public Base {};
class DerivedA : public BaseA {
public:
int operator+(DerivedA const& a) const
{
return 10;
}
};
class DerivedB : public BaseB {
public:
浏览 4提问于2014-06-12得票数 1
回答已采纳
我正在为嵌入式设备开发一个应用程序，因此我没有type_traits和enable_if (编译质量差)。我自己创造的：
template <typename T>
struct is_pointer_t{
enum{value = false};
};
template <typename T>
struct is_pointer_t<T*>{
enum{value = true};
};
以及consts和volatiles的simillar声明。
enable_if的现在实现
template <bool boolean, ty
浏览 3提问于2016-01-10得票数 0
回答已采纳
我正在尝试使用NDK将我的OpenGL应用程序移植到Android上，我碰到了一个奇怪的编译错误，我就是搞不懂！
我有以下模板函数来帮助检测OpenGL错误：
template<typename Res, typename Func, typename... Args>
struct Checker {
static Res run(Func&& func, Args&&... args) {
Res result = std::bind(std::forward<Func>(func), std::forward
浏览 5提问于2014-09-27得票数 1
我在Sun Studio中为模板类提供模板朋友时遇到了一个问题。该代码在GNU (4.4.1和4.4.3)上编译得很好，但在Sun Studio C++ (5.9 SunOS_sparc G++ 124863-01 2007/07/25)上编译失败。
下面是一个最小的例子：
// Forward declarations
template<class T> class M;
template<class T> void f(M<T>, M<T>);
// Define M<T>
template<class T>
cla
浏览 4提问于2011-10-14得票数 2
回答已采纳
2回答
考虑下面的C++代码，我试图避免失败
template<typename T> class A {
public:
A() { /* implementation here */ }
// Remove from the overloads the default copy&move constructors and assignment operators
A(const A&) = delete;
A& operator=(const A&) = delete;
A(A&&) = dele
浏览 1提问于2019-01-05得票数 5
6回答
限制使用功能
、、、
我有一个泛型类，它的函数只限于编译时浮点类型的实例。如下例所示：
template <typename T>
class ClassName
{
// instance variables, etc..
void some_method()
{
// do stuff, but only for floating point types
}
}
如何使编译器拒绝将some_method用于非浮点类型的ClassName？
我一直在看SFINAE，但我根本无法让它工作，所以在几个小时的失败后，我请求您的帮助。
谢谢:)
浏览 12提问于2013-08-07得票数 3
回答已采纳
问题如下:以下测试抛出了大量的编译器错误。
#include <vector>
using namespace std;
template<class T>
class test{
vector<T> vec;
public:
vector<T>::iterator begin();
};
template<class T>
vector<T>::iterator test<T>::begin(){
return vec.begin();
}
int main(){
test<
浏览 0提问于2012-10-02得票数 1
回答已采纳
C++标准14.8.2美元7美元：
替换发生在函数类型和模板参数声明中使用的所有类型和表达式中。表达式不仅包括常量表达式(如出现在数组边界中或作为非类型模板参数出现的表达式)，而且还包括sizeof、decltype和其他允许非常量表达式的上下文中的通用表达式(即非常数表达式)。替换按词法顺序进行，并在遇到导致扣减失败的条件时停止。注意:异常规范中的等效替换仅在异常规范实例化时进行，如果替换导致无效类型或表达式，则此时程序的格式不正确。-尾注
该标准在这里提供了一个示例：
template <class T> struct A { using X = typename T:
浏览 1提问于2016-08-16得票数 6
回答已采纳
在我正在编写的一个程序中，我遇到了一些令人费解的SFINAE问题，所以我把它归结为一个独立的示例程序：
#include <type_traits>
struct Base { };
struct Derived : public Base { };
template<typename T>
struct From { };
template<typename T>
struct To {
template<typename U>
To(const From<U>& other) {
s
浏览 4提问于2012-07-09得票数 1
回答已采纳
我想知道是否有特定的规则来指定此代码是否应该失败：
struct Foo {
template<typename T>
int bar() {
static_assert(!std::is_same<T, float>::value, "Don't send floats please.");
return 0;
}
int baz() { return 0; }
};
int main() {
using function_type = decltype(&Fo
浏览 0提问于2017-11-21得票数 5
下面的程序在使用GCC 4.7和clang 3.2编译时，会生成"1“作为输出。
#include <type_traits>
struct foo {
template<typename T>
foo(T) {
static_assert(not std::is_same<int, T>(), "no ints please");
}
};
#include <iostream>
int main() {
std::cout << std::is_c
浏览 0提问于2013-02-12得票数 17
回答已采纳
1回答
#include <type_traits>
template <typename T>
struct C;
template<typename T1, typename T2>
using first = T1;
template <typename T>
struct C<first<T, std::enable_if_t<std::is_same<T, int>::value>>>
{
};
int main ()
{
}
不同汇编者的汇编结果：
MSVC：
错误C2753：'
浏览 5提问于2016-12-14得票数 17
我有一个数据库类，它应该提供一个模板方法来返回表示表的存储库对象。每个储存库应只存在一次。我找到了示例，但是我希望有一个内置的缓存。
database.h头看起来如下所示：
class Database
{
public:
Database(const char *connectionString);
template<typename T> shared_ptr<class T : RepositoryBase> GetRepository();
private:
sqlite3* _connection;
map<string, Reposi
浏览 3提问于2017-08-25得票数 0
回答已采纳
我正在看一些代码，这些代码大量使用模板。它在GCC上编译得很好，但是VS (在2003-2010测试版上测试过)，在语法分析中失败了。不幸的是，我对代码结构还不太了解，无法减少问题，只在几行代码中再现问题，所以我只能猜测原因。我希望这里有人能给我指明正确的方向。
我们有
template< class UInt, typename IntT,
bool is_signed = std::numeric_limits<IntT>::is_signed >
struct uii_ops_impl;
// ....
template<class UInt&g
浏览 3提问于2009-08-12得票数 3
回答已采纳
4回答
这样的代码可以由GCC编写，但clang3.5失败了。
#include <iostream>
using namespace std;
template<typename T>
class C{
public:
const static int x;
};
int main(){
cout << C<int>::x;
}
template<>
const int C<int>::x = 4;
Clang返回消息：
hello.cpp:15:19: error: explicit specialization
浏览 5提问于2014-08-08得票数 5
回答已采纳
所以我有这样的代码：
#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
回答已采纳
基本上，我想要的是一个简单的功能：
template<typename A, typename B>
is_the_same_value(A a, B b)
{
// return true if A is the same value as B
}
这个看似简单的问题是很难的，因为对于int/无符号混合使用返回a == b失败。
is_the_same_value(-1, 0xffffffff)
会返回真实的。clang/gcc警告：comparison of integers of different signs
使用类似于a == b && ((a &
浏览 7提问于2019-12-29得票数 1
回答已采纳
2回答
这段代码在大多数编译器中都无法编译，但一开始我直觉地期望SFINAE保护我：
typedef void (*A)();
template < typename T >
struct a_metafun { typedef typename T::type type; };
template < typename T >
typename a_metafun<T>::type f(T) {}
template < typename T>
void f(T(*)()) {}
int main() { f(A()); }
我至少可以用两种方法解
浏览 3提问于2012-12-31得票数 6
3回答
如何创建模板类型迭代器的STL对象？我正试图为模板类型的迭代器创建一个STL对象(例如向量)，如下所示
vector<vector<T>::iterator> it1;
这在g++和VC++中都失败了。两个编译器几乎都说了同样的话。
g++
Main.cpp:8:49: error: type/value mismatch at argument 1 in template parameter li
st for `template<class _T1, class _T2> struct std::pair'
Main.cpp:8:49: erro
浏览 3提问于2012-05-01得票数 2
回答已采纳
我有一些代码可以简化成这样的代码：
#include <type_traits>
template <typename T>
struct dependent
{
using type = typename T::type;
};
template <typename T>
typename dependent<T>::type
foo(const T& x);
bool foo(bool x) { return x; }
int main()
{
foo(true);
}
这在g++ 9.3和--std=c++1
浏览 1提问于2020-03-27得票数 3
回答已采纳
1回答
下面的代码与boost 1.57的预期一样工作：
#include <iostream>
#include <boost/log/trivial.hpp>
struct Foo
{
int d=1;
};
std::ostream& operator<<(std::ostream& out, const Foo& foo)
{
out << "Foo: " << foo.d;
return out;
}
int main()
{
BOOST_LOG_TRIV
浏览 3提问于2015-08-24得票数 6
回答已采纳
我遇到了一个问题。当我使用像std::function<A(Fs...)>这样的东西时，它不起作用，但是std::function<A(Fs..., B)>确实起作用。这是在Clang 8.0下，没有一个在GCC的情况下有效。下面是一个例子：
#include <functional>
template<typename A, typename B, typename ...Fs>
void func_tmpl1(std::function<A(Fs..., B)> callable)
{
}
template<typename
浏览 0提问于2020-04-17得票数 6
回答已采纳
我正在编写一个程序，其中我需要声明一个构造函数，该构造函数可以接受各种原始类型，如double或float，并将其转换为int。
我的程序只使用int，所以我需要接受构造函数中的任何原始数据类型，并将其转换为int。
浏览 0提问于2013-10-09得票数 0
2回答
考虑一下这个简单的(糟糕的)函数模板，它在这个站点上有很多不同的版本：
template <typename R, typename... Args>
R call_with(std::function<R(Args...)> f,
Args... args)
{
return f(args...);
}
两次尝试都是这样的：
call_with([]{}); // (a)
call_with<void>([]{}); // (b)
我不能调用(a)，因为lambda不是std::function<R(A
浏览 1提问于2015-07-15得票数 10
5回答
template <typename T>
void foo(int i)
{
//nothing inside
}
int main()
{
foo(5); //fails
foo<int>(5); //works
}
为什么foo(5)失败而foo< int >(5)有效？
浏览 0提问于2010-10-03得票数 3
刚开始为我的任务探索模板特性时，我需要根据模板中的typename添加一些操作。有人能指出这种结构有什么问题吗？
#include <iostream>
#include <type_traits>
using namespace std;
template <typename T>
T foo()
{
if(std::is_same<T, int>::value)
{
return 2;
}
if(std::is_same<T, std::string>::value)
{
浏览 5提问于2021-12-22得票数 0
回答已采纳
Context：试图在模板化的自制shared_ptr上实现成语。我很难让这个函数叫做：
template<typename U>
shared_ptr<T>& operator=(shared_ptr<U> rhs)
{
static_assert(std::is_base_of<T, U>::value);
swap(*this, rhs);
return *this;
}
代码从不可缺少的部分中去掉：
以下代码未编译。"x=y“行试图使用：
浏览 1提问于2018-05-27得票数 1
回答已采纳
1回答
我不明白为什么下面的代码不能工作。编译器(gcc)似乎实例化了这两个方法，显然整数要么是有符号的，要么是无符号的，所以总是失败。我以为enable_if在这里就是为了避免这种情况。
问:为什么会出现编译错误，如何避免？
using namespace boost; // or std as you want
template<typename T>
struct test {
// if signed
template< typename enable_if
< is_signed<T>
浏览 0提问于2014-12-08得票数 4
下面的简单代码或上的代码不是用clang编译的，而是使用gcc和Visual编译得很好。
当SFINAE在clang、gcc和Visual中失败时，不计算尾随返回类型decltype(foo(t)) of baz(T t)。
但是，当decltype(foo(t))子句在clang中失败时，bar(T t)的尾随返回类型仍将进行计算。使用gcc和Visual时，如果requires子句失败，则不计算尾随返回类型。哪个编译器在这个问题上是正确的？
谢谢。
#include <utility>
#include <type_traits>
template<type
浏览 4提问于2022-05-31得票数 5
回答已采纳
1回答
我正试图从一个非表面的层面来理解为什么以下代码没有编译：
#include <vector>
template<typename T>
struct wrapper {
T wrapped_value;
wrapper() {}
template<typename... Args>
wrapper(Args&&... args) : wrapped_value( std::forward<Args>(args)... ) {
}
};
struct A {
int a;
浏览 2提问于2021-10-01得票数 2
回答已采纳
我很乐意提醒自己或其他人，当他们使用T，U类型的模板时，它会自动进行静默转换，但这可能是一个可疑的用例，以便程序员可以验证该模板是否合适(或者他们是否在元逻辑中的某个地方犯了错误)。
但我不明白如何生成这样的编译时警告，命名类型或以任何方式引用调用者的代码？
如果这是一个失败案例-那么我可以发出一个static_assert或类似的命令来强制编译器失败，然后用户将在输出诊断中看到最初触发失败案例的原因。
但是如果是有问题的用例呢？不一定是错误...只是一个警告？
下面是我的意思的一个例子：
template <typename T, typename U>
bool within(
浏览 0提问于2018-06-15得票数 1
2回答
C++标准第8.3.6.4节指出
对于非模板函数，可以在相同作用域的函数的以后声明中添加默认参数。..。
但我的问题是，为什么不允许使用模板函数呢？在以后的声明中不允许在模板函数的相同作用域中添加默认参数的理由是什么？
考虑这个程序，它编译得很好。(非模板函数)(请参阅实时演示)
#include <iostream>
int f(int a,int b,int c=3);
int f(int a,int b=9,int c); // default argument in middle, ok allowed
int main()
{
f(3);
f(
浏览 0提问于2015-09-02得票数 15
回答已采纳
2回答
我试图提供一个API，用户可以静态地从基类继承并使用它的方法。
问题是，类是templated和typename T，方法是templated和typename U，因此方法的使用非常麻烦(我认为，对于API来说)。
据我所知，这是有意的，因为编译器无法解析(依赖程序？)方法。
template<typename T>
struct base {
template<typename U>
void foo(){}
};
template<typename B>
struct child : B
{
void barr(){
浏览 5提问于2022-08-21得票数 1
回答已采纳
我有一个非常小的头文件，其中包含以下代码。代码在Windows7中编译了6个月，但在带有gcc 4.3.4的linux上失败了。我尝试了几种方法来让它工作，但不幸的是什么都没有发生。你们中有谁知道会出什么问题吗？
问候
#ifndef UTILS_H
#define UTILS_H
#if _MSC_VER > 1000
#pragma once
#endif // _MSC_VER > 1000
#include <algorithm>
template <class T>
unsigned int findUpperElement(const st
浏览 1提问于2012-02-21得票数 1
回答已采纳
1回答
我在想怎么了
template<typename T, typename U = T>
operator U()
{
return U();
}
它在error: no matching function for call to 'Test1::Test1(Test&)'中失败，而上的转换成功：
template<typename T>
operator T()
{
return T();
}
完整的代码：
class Test
{
public:
浏览 4提问于2016-01-17得票数 0
回答已采纳
2回答
以下C++代码未在2010中编译：
class Foo
{
public:
/// Provides the signature of the methods that can be given to addValueSetListener
template <typename TT>
struct ChangeHandler
{
typedef void ( TT::* OnSetValueMethod )();
};
template <typename TT>
void bar_ok(TT*
浏览 1提问于2013-08-20得票数 1
回答已采纳
1回答
在模板中提供static_assert通常很有帮助。在模板根本不应该以某种方式实例化的情况下，我经常这样做
template<typename T, typename = void>
struct S
{
static_assert(false, "Unconditional error");
static_assert(sizeof(T) != sizeof(T), "Error on instantiation");
};
template<typename T>
struct S<T, std::enable
浏览 0提问于2017-06-03得票数 9
1回答
我正在研究删除一些未使用的重载，并触发了一个编译错误，编译器说这是一个模板替换错误。但我认为“替换失败不是一个错误”，而且不管怎样，为什么移除重载会导致它？
简单的开始：
#include <string>
int ParseInt(const char *);
int ParseInt(std::string);
bool F(int(*)(const char *));
bool User() {
return F(ParseInt);
}
在这里，User()使用解析例程的地址调用F。平安无事。ParseInt是重载的，但只有一个重载与F的签名匹配。
输入F的模板重
浏览 0提问于2016-01-22得票数 4
1回答
为实现类型列表而奋斗
、、、、
为了教育目的，我想写我自己的基于c++11的打字员。裸露的列表如下：
template <typename ... Ts> struct type_list;
template <typename T, typename ... Ts>
struct type_list<T, Ts ...> {
typedef T Head;
typedef type_list<Ts ...> Tail;
};
template <typename T> struct type_list<T> {
typed
浏览 3提问于2014-06-06得票数 6
回答已采纳
为什么这在VS 2010中不起作用
typename std::enable_if<!std::has_trivial_destructor<Titem>::value, BOOL>::type
Clear()
{
...
}
typename std::enable_if<std::has_trivial_destructor<Titem>::value, BOOL>::type
Clear()
{
...
}
它在模板类中。
我得到以下错误：
error C20
浏览 5提问于2012-12-18得票数 2
回答已采纳
1回答
我想写一个循环，它可以给我数组的尺寸。我想让它适用于任何数组，它应该返回尺寸的大小。
int arr310；cout <<“维度1：”<< sizeof(arr)/sizeof(arr) /sizeof(Arr) << endl；cout <<“维度2：”<< sizeof(arr)/sizeof(arr) << endl；cout <<“维度3：”<< sizeof(arr)/sizeof(arr) << endl；cout <<“维度4：”<< sizeof
浏览 1提问于2019-03-13得票数 3
回答已采纳
考虑一个类"myArbPrec“，可以使用
myArbPrec("0.1");
(例如，它代表任意的精确类型)。
我希望我的代码与myArbPrec和double兼容。用户使用模板设置类型。
在程序中使用的模板类中有一些常量，如0.1。这些常量将以用户选择的相应类型表示。
我的问题是:根据所选择的类型，如何在初始化的代码中添加一个常量？具体来说，对于myArbPrec，它应该初始化为myArbPrec("0.1")。对于double，它应该初始化为double(0.1)。
问题是我不能使用myArbPrec(0.1)，因为它首先将转换为双倍，可能会丢失精
浏览 2提问于2016-07-26得票数 1
回答已采纳
2回答
使作用域枚举与基础类型相比较
、、、、
我正在尝试使程序中的范围枚举与基础类型类似，但下面的代码不起作用。是因为我正在使用的编译器( C++11 )中对VC11标准的支持很差，还是因为代码破坏了C++11标准中的一些规则？在后一种情况下，具体违反了哪些规则(欢迎引用具体的标准条款)？
#include <type_traits>
enum class Test: short int { A,B,C };
template<typename E> bool operator != (E e, typename std::underlying_type<E>::type n)
{
return
浏览 2提问于2013-03-17得票数 4
回答已采纳
2回答
我有一个std::set，它允许从迭代器范围中进行演绎。
#include <iostream>
#include <set>
int main()
{
std::set s1 = {1,2,3,4};
std::set s2(s1.begin(), s1.end());
}
以上程序在GCC。
为什么这里std::set的演绎失败了？
浏览 6提问于2017-11-06得票数 14
回答已采纳
3回答
模板参数推导失败
、、
尽管下面的程序中对fold_left的调用似乎足够具体，可以推断模板函数的参数，但是由于失败，会产生编译错误。
#include <valarray>
#include <functional>
template<class Input, class Output>
Output fold_left(Output zero, std::function<Output(Output,Input)> op, std::valarray<Input> data)
{
for (auto const& item : data
浏览 9提问于2017-09-20得票数 0
回答已采纳
1回答
此处的typename表达式不工作。编译器说：
“期望在‘typename’之后有限定名”。
template <typename Iterator, typename Predicate>
void mergeSort(Iterator start, Iterator end, Predicate lessThan)
{ typename typeid(start[0]) Element;
[...implementation, not relevant...]
}
我试图定义一个类型名称元素，它将引用表达式start[0]的类型。(或者通常是Iterator
浏览 1提问于2018-07-30得票数 2
回答已采纳
2回答
完全转发函数推导冲突错误
、、、、
我正在测试完美的转发，我不明白为什么TEST_EQ(string("olleH"), s)编译失败，但是string("olleH") == s编译通过。我如何在这里修复我的TEST_EQ函数？
template<typename S>
static bool TEST_EQ(S&& a, S&& b)
{
return forward<S>(a) == forward<S>(b);
}
int main()
{
string s= "Hello";
浏览 0提问于2018-04-17得票数 1
回答已采纳
3回答
模板参数的替换失败
、、、、
我想要一个助手函数来为我实例化一个类。目前它不能用clang编译(虽然它是用gcc编写的)，但是我也需要它用clang编译。目前我正在使用clang version 6.0.0-1ubuntu2。
我不知道为什么会失败，因为gcc能够检测到这种类型。我试着用做一些事情，玩了一段时间，但我总是撞到墙上。可以使用MCVE，也可以在上试用
#include <vector>
using namespace std;
template <typename T, template <typename> typename Container>
struct Some
浏览 0提问于2019-03-09得票数 6
回答已采纳
我正在尝试在C++17中创建一个“初始化程序”函数，它可以对对象的构造函数进行调用，这样它就可以推迟到稍后的时间，当其他的变量参数已知时。
我遵循了的示例，它编译，但不处理引用传递的值。
完整的运行示例可以在中找到。
我也在这里复制代码，以便捕获它以供将来参考：
#include <iostream>
#include <functional>
#include <memory>
#include <utility>
#include <limits>
using std::cout;
using std::endl;
using
浏览 1提问于2019-06-10得票数 0
我试图理解c++0x std::bind和std：：函数在事件处理/回调中的用法。因此，我正在研究一些代码片段，并遇到了一些我无法完全理解的有趣的地方。
假设我们有：
class EventHandler
{
public:
template<typename Event, typename Listener>
bool bindEvent (const Listener& function)
{
if (std::is_array<Event>::value)
{
std::cou
浏览 4提问于2011-07-06得票数 3
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
