在类模板中专门化非静态成员是不可能的吗？为什么？
在类模板中专门化非静态成员是不可能的。这是因为类模板的实例化是在编译时进行的，编译器需要根据模板定义生成具体的类代码。非静态成员是属于类的实例的，而不是类本身的一部分。因此，在类模板中无法专门化非静态成员。
类模板的实例化是根据模板参数生成具体的类代码，而非静态成员的定义是在类外进行的。在编译时，编译器无法确定非静态成员的具体定义，因为它依赖于类的实例化。因此，无法在类模板中专门化非静态成员。
如果需要对非静态成员进行特殊化处理，可以考虑使用模板特化或者继承来实现。模板特化可以针对特定类型提供特殊化的实现，而继承可以通过派生类来重写非静态成员函数以实现特殊化的行为。
需要注意的是，以上答案是基于一般的C++语言规范，具体的语言实现可能会有所不同。对于腾讯云相关产品和产品介绍链接地址，由于题目要求不能提及具体的云计算品牌商，因此无法提供相关链接。
相关·内容
3回答
类模板可以在没有成员的情况下实例化吗？
c++、templates
说：
实例化类模板不会导致其成员定义被实例化。
我无法想象C++中的任何类都会被实例化，不管是从模板还是非模板，在那里类成员也没有被实例化？
浏览 0提问于2013-05-22得票数 6
回答已采纳
1回答
在派生类模板中专门化基类的成员函数
c++、templates、specialization
请看下面的代码：
struct foo {
virtual int bleh() {
return 42;
}
};
template<typename T>
struct bar : public foo {
};
// ERROR
template<>
int bar<char>::bleh() {
return 12;
}
我试图仅为bar<char>提供base::bleh的定义，但是编译器(gcc 4.7.2)使用以下诊断我的代码：
template-id ‘bleh<>’ f
浏览 0提问于2013-05-10得票数 1
回答已采纳
4回答
不完全类型在类中不允许，但在类模板中是允许的。
c++、c++11、templates、language-lawyer、forward-declaration
以下是无效代码：
struct foo {
struct bar;
bar x; // error: field x has incomplete type
struct bar{ int value{42}; };
};
int main() { return foo{}.x.value; }
这是非常清楚的，因为在定义foo::bar的时候，foo::x被认为是不完整的。
然而，似乎有一种“解决办法”使相同的类定义有效：
template <typename = void>
struct foo_impl {
struct bar
浏览 1提问于2018-05-06得票数 19
回答已采纳
4回答
模板类的静态数据成员在文件中的初始化顺序是什么？
c++、class、templates、static-members
在给定文件中，如果我有，
struct A { static int a; };
struct B { static int b; };
int A::a;
int B::b;
然后，我总是可以期待在B::b之前初始化A::a。现在对于相同的文件，以template为例，
template<typename T>
struct X { static T t; };
template<typename T>
T X<T>::t;
假设X是用A和B实例化的，并且它的static成员在代码中的某个地方被任意使用，如，X<A>::t和X<B>
浏览 2提问于2011-07-14得票数 7
回答已采纳
4回答
模板类的静态变量初始化，c++
c++、templates、static、instantiation、linkage
考虑以下代码：
//header.h
template<class T>
class A
{
static int x;
};
template<class T>
int A<T>::x = 0;
//source1.cpp
#include "header.h"
void f(){} // dummy function
//main.cpp
#include "header.h"
int main(){}
在本例中，代码编译完美，没有错误，但如果我从类中删除模板限定符
class A
{
static
浏览 10提问于2015-04-27得票数 1
回答已采纳
1回答
为什么某些看起来像普通类型定义的表达式意外地变成了模板的声明？
c++、templates、declaration
这些表达式都是普通类型的定义：
int num;
bool flag;
但是，一些看起来像普通类型定义的表达式意外地变成了模板的声明(详见下面和)！
下面是相关的代码片段()：
#include<iostream>
template<typename T>
class Test
{
public:
static constexpr int sdm = T(nullptr);
static int f(void){static_assert(sizeof(T)==0);}
int g(
浏览 5提问于2021-01-10得票数 2
回答已采纳
2回答
实例化模板是否实例化其静态数据成员？
c++、templates
关于显式实例化(当模板在头中声明并在cpp文件中定义时使用的IIRC，因为否则链接器将无法在其他地方使用它)，如果模板有一个静态成员变量，显式实例化是否也会实例化和创建静态成员变量？
浏览 4提问于2014-06-20得票数 8
回答已采纳
6回答
c++模板中实例化和专门化的区别
c++、templates
在C++模板的上下文中，专门化和实例化有什么区别。根据我到目前为止所读到的内容，以下是我对特殊化和实例化的理解。
template <typename T>
struct Struct
{
T x;
};
template<>
struct Struct <int> //specialization
{
//code
};
int main()
{
Struct <int> s; //specialized version comes into play
Struct <float> r; //
浏览 0提问于2010-10-12得票数 49
2回答
使用CRTP时，在基类中使用非模板派生类的类型。
c++、templates、crtp
我使用CRT模式，并希望基类从派生类中看到typedefs。在 @James McNellis中，McNellis建议使用base_traits类来实现这一点，而且效果很好。但是在那篇文章中描述的情况下，派生类本身就是一个模板。当派生类不是模板时，这种方法在VS2010中不起作用。
template <class D>
struct base_traits;
template <class D>
struct base
{
typedef typename base_traits<D>::value_t value_t;
};
struct der
浏览 1提问于2014-09-04得票数 2
回答已采纳
3回答
函数模板专门化
c++、templates
在阅读的时候，我被下面的例子搞糊涂了：
// Example 2: Explicit specialization
//
template<class T> // (a) a base template
void f( T );
template<class T> // (b) a second base template, overloads (a)
void f( T* ); // (function templates can't be partially
// specialized
浏览 1提问于2010-10-15得票数 13
回答已采纳
1回答
未使用的模板方法出错
c++、templates、gcc、clang、non-static
struct B
{
int a;
void foo() {a = 5;}
};
template <typename T>
struct A
{
A(int i) { B::foo(); }
A(double d) {}
};
int main()
{
A<int> a(5.0);
}
gcc 4.7.2编译了它，没有错误。clang 3.4svn抱怨：
$ clang -Wall -Wextra test.cpp
test.cpp:10:16: error: call to non-static member funct
浏览 0提问于2013-07-12得票数 4
回答已采纳
2回答
为什么局部变量实例化失败，而静态变量却失败？
c++、templates、compiler-errors
我正试图找到一种简单的方法(使用预C++11，即不使用decltype)来记录模板对类型的哪些要求才能正常工作。也许有更好的方法来做这件事。不过，我的问题是：
#include <iostream>
template <typename T> struct Foo {
static const int test = sizeof(T::size);
};
template <typename T> struct DetectAndError {
DetectAndError() { int test = sizeof(T::size);
浏览 2提问于2016-11-02得票数 3
回答已采纳
3回答
自动销毁静态对象
c++、templates、static-members
为什么C++不创建/销毁模板类型的静态成员。
观察以下示例：
#include <iostream>
struct Dump {
Dump() {
std::cout << "CTOR" << std::endl;
}
~Dump() {
std::cout << "DTOR" << std::endl;
}
};
template <typename T> struct X {
static Dump dump;
};
template <t
浏览 2提问于2011-09-22得票数 7
回答已采纳
1回答
模板/泛型类中的非常数静态成员- c++与c#
c#、c++、templates、generics
在c#中，静态成员对于每个泛型类都是唯一的，如下例所示
using System;
//A generic class
public class GenTest<T>
{
//A static variable - will be created for each type on refraction
static CountedInstances OnePerType = new CountedInstances();
//a data member
private T mT;
//simple constructor
public GenTest(
浏览 1提问于2013-06-16得票数 1
回答已采纳
2回答
模板类静态成员变量的隐式初始化
c++、templates、inheritance、static-members
目前，我正在从事一个C++项目，我计划在其中嵌入Lua脚本。由于这个原因，需要将某些类导出到Lua，并且我希望使其更方便，因此我创建了一个模板类：
template <class T>
class ExportToLua {
public:
ExportToLua() {}
~ExportToLua() {}
private:
static int m_registered;
};
template <class T> int ExportToLua<T>::m_registered = T::
浏览 2提问于2013-09-02得票数 6
回答已采纳
3回答
从模板类派生？
c++、templates
我正在尝试使用以下代码，但无法完成。
任何人都能看到问题所在吗？
class IResourceJob
{
public:
virtual ~IResourceJob() {}
virtual void execute() = 0;
};
template<typename T>
class ResourceJob : public IResourceJob
{
public:
void execute()
{
static_assert(false, "Specialised ResourceJob<T> not def
浏览 0提问于2012-08-15得票数 1
回答已采纳
1回答
静态类模板成员：“sizeof of”对不完全类型的无效应用
c++、templates
下面是我要创建的池对象的一个最小工作示例(显然不是功能完成--我只是想说明我遇到的问题)
我有一个类模板Storage，它包含aligned_storage
template<typename T, std::size_t N>
struct Storage
{
std::aligned_storage_t<sizeof(T), alignof(T)> data[N];
};
然后，我有一个基类模板PoolObj，它使用operator new从模板参数T的静态类成员中分配。
template<typename T>
struct PoolObj
{
浏览 0提问于2017-11-23得票数 2
回答已采纳
2回答
带有专门析构函数的“已定义的析构函数”
c++、templates、template-specialization
我在用专门的破坏者做实验。这段代码是完全有效的，并且编译得很好：
#include <iostream>
using namespace std;
template <typename T>
class Cat
{
public:
~Cat();
};
template <typename T>
Cat<T>::~Cat()
{
std::cout << "T" << std::endl;
}
template <>
Cat<int>::~Cat()
{
浏览 0提问于2017-10-17得票数 1
回答已采纳
1回答
C++模板函数:显式实例化一个或多个专门化
c++、templates
可以显式实例化模板函数的一个或多个特殊化吗？其次，函数是否是类成员有关系吗？它是合法的C++11吗，编译器也接受它，所以它不会有问题吗？
浏览 0提问于2013-06-19得票数 0
回答已采纳
5回答
C++11 static_assert和模板实例化
c++、c++11
在C++11中，模板内的static_assert操作是否应该依赖于该模板是否已被实例化？例如，使用以下代码
template <int I>
void sa() { static_assert(0,"Hello."); }
int main(int argc, char *argv[]) { return 0; }
GCC 4.5.0将断言失败，并生成“Hello”。消息。另一方面，数字Mars编译器版本8.42n没有提供任何消息。
浏览 0提问于2011-03-09得票数 51
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
活动推荐
腾讯云开发者
