这与本文下方提出的问题略有不同。假设我有一个容器类,它有两个模板参数,第一个是类型,第二个是容器的大小。
现在我们有多个具有不同容器存储大小的容器。从本质上讲,容器功能(无论如何都是公共功能)只关心T
; N
仅用于分配本地存储(如果N
不够,则使用分配器)。
我已经整理了一个简单的示例实现,展示了我遇到的问题。
#include <iostream>
template <typename T, size_t N = 10>
class TestArray
{
public:
T Local[N];
class Iterator
{
public:
T* Array;
int Index;
Iterator() : Array(NULL), Index(-1) { }
Iterator(T* _array, int _index) : Array(_array), Index(_index) { }
bool operator == (const Iterator& _other) const
{
return _other.Index == Index && _other.Array == Array;
}
bool operator != (const Iterator& _other) const
{
return !(*this == _other);
}
template <size_t _N>
Iterator& operator = (const typename TestArray<T, _N>::Iterator &_other)
{
Array = _other.Array;
Index = _other.Index;
return *this;
}
void Next() { ++Index; }
void Prev() { --Index; }
T& Get() { return Array[Index]; }
};
T& operator [] (const int _index) { return Local[_index]; }
Iterator Begin() { return Iterator(Local, 0); }
Iterator End() { return Iterator(Local, N); }
template <size_t _N>
void Copy(const TestArray<T, _N> &_other, int _index, int _count)
{
int i;
for (i = 0; i < _count; i++)
Local[_index + i] = _other.Local[i];
}
};
这实际上是一个两部分问题。我之前发布的第一部分:Template container with multiple template parameters interacting with other template containers with a different template parameter。对于第二部分,我试着按如下方式使用它:
int main() {
TestArray<int> testArray1;
TestArray<int, 25> testArray2;
TestArray<int>::Iterator itr;
itr = testArray1.Begin();
for (itr = testArray1.Begin(); itr != testArray1.End(); itr.Next())
{
itr.Get() = itr1.Index;
}
testArray2.Copy(testArray1, 0, 10);
for (itr = testArray2.Begin(); itr != testArray2.End(); itr.Next())
{
std::cout << itr.Get() << std::endl;
}
return 0;
}
以下是IDEONE链接:http://ideone.com/GlN54
使用gcc-4.3.4编译时,我得到以下内容:
prog.cpp: In function ‘int main()’:
prog.cpp:67: error: no match for ‘operator=’ in ‘itr = testArray2.TestArray<T, N>::Begin [with T = int, unsigned int N = 25u]()’
prog.cpp:10: note: candidates are: TestArray<int, 10u>::Iterator& TestArray<int, 10u>::Iterator::operator=(const TestArray<int, 10u>::Iterator&)
prog.cpp:67: error: no match for ‘operator!=’ in ‘itr != testArray2.TestArray<T, N>::End [with T = int, unsigned int N = 25u]()’
prog.cpp:19: note: candidates are: bool TestArray<T, N>::Iterator::operator!=(const TestArray<T, N>::Iterator&) const [with T = int, unsigned int N = 10u]
在VS2010中,我得到以下内容:
1>------ Build started: Project: testunholytemplatemess, Configuration: Debug Win32 ------
1> main.cpp
1>c:\users\james\documents\testproj\testunholytemplatemess\testunholytemplatemess\main.cpp(67): error C2679: binary '=' : no operator found which takes a right-hand operand of type 'TestArray<T,N>::Iterator' (or there is no acceptable conversion)
1> with
1> [
1> T=int,
1> N=25
1> ]
1> c:\users\james\documents\testproj\testunholytemplatemess\testunholytemplatemess\main.cpp(34): could be 'TestArray<T>::Iterator &TestArray<T>::Iterator::operator =(const TestArray<T>::Iterator &)'
1> with
1> [
1> T=int
1> ]
1> while trying to match the argument list '(TestArray<T>::Iterator, TestArray<T,N>::Iterator)'
1> with
1> [
1> T=int
1> ]
1>c:\users\james\documents\testproj\testunholytemplatemess\testunholytemplatemess\main.cpp(67): error C2679: binary '!=' : no operator found which takes a right-hand operand of type 'TestArray<T,N>::Iterator' (or there is no acceptable conversion)
1> with
1> [
1> T=int,
1> N=25
1> ]
1> c:\users\james\documents\testproj\testunholytemplatemess\testunholytemplatemess\main.cpp(19): could be 'bool TestArray<T>::Iterator::operator !=(const TestArray<T>::Iterator &) const'
1> with
1> [
1> T=int
1> ]
1> while trying to match the argument list '(TestArray<T>::Iterator, TestArray<T,N>::Iterator)'
1> with
1> [
1> T=int
1> ]
我认为Iterator& operator =
会使这个赋值运算符起作用,但显然不行。也许我很厚,但我没有在这里确定正确的解决方案。有没有人有任何建议?
答案 0 :(得分:6)
TestArray<T, 1>
和TestArray<T, 2>
不同类型,TestArray<T, 1>::Iterator
和TestArray<T, 2>::Iterator
也是如此。作业无法奏效! (您的itr
与testArray2.Begin()
的类型不同。)
整个建筑对我来说似乎很可疑 - 这真的有必要吗?你想要实现什么目标?你看过std::array
吗?
更新:如果您明确提供模板参数,它会起作用:
for (itr.operator=<int,25>(testArray2.Begin());
itr.operator!=<int,25>(testArray2.End());
itr.Next())
{
std::cout << itr.Get() << std::endl;
}
我不完全确定为什么参数不能从参数中推断出来,我期待一个很好的解释 - 在此期间,我把完整的代码on Ideone,尽管它没有在那里编译,但它与我的GCC 4.6.1。
答案 1 :(得分:2)
使用默认模板参数时,编译器只会自动提供默认值,但它们仍然是模板定义的一部分。在您的情况下,TestArray<int>
与TestArray<int, 10>
相同。如果您希望它在TestArray<T, N> and TestArray<T, M>
之间进行互操作,您可能希望使用模板函数。
编辑:我能够想出的唯一解决方案是将迭代器分解为它自己的类,然后根据需要运行。我不能告诉你的是为什么它不起作用。我的猜测是因为它不喜欢搜索可能的模板扩展的内部类。无论哪种方式,这就是我所做的。
#include <iostream>
template <typename T, size_t N = 10> class TestArray;
template<typename T, size_t N>
class TIterator
{
public:
T* Array;
int Index;
TIterator() : Array(NULL), Index(-1) { }
TIterator(T* _array, int _index) : Array(_array), Index(_index) { }
bool operator == (const TIterator& _other) const
{
return _other.Index == Index && _other.Array == Array;
}
bool operator != (const TIterator& _other) const
{
return !(*this == _other);
}
TIterator& operator = (const TIterator& _other) {
Array = _other.Array;
Index = _other.Index;
return *this;
}
template <size_t M>
bool operator == (const TIterator<T, M>& _other) const
{
return _other.Index == Index && _other.Array == Array;
}
template <size_t M>
bool operator != (const TIterator<T, M>& _other) const
{
return !(*this == _other);
}
template< size_t M>
TIterator& operator = (const TIterator<T, M>& _other) {
Array = _other.Array;
Index = _other.Index;
}
void Next() { ++Index; }
void Prev() { --Index; }
T& Get() { return Array[Index]; }
};
template <typename T, size_t N>
class TestArray
{
public:
T Local[N];
typedef TIterator<T, N> Iterator;
T& operator [] (const int _index) { return Local[_index]; }
Iterator Begin() { return Iterator(Local, 0); }
Iterator End() { return Iterator(Local, N); }
template <size_t _N>
void Copy(const TestArray<T, _N> &_other, int _index, int _count)
{
int i;
for (i = 0; i < _count; i++)
Local[_index + i] = _other.Local[i];
}
};
int main() {
TestArray<int> testArray1;
TestArray<int, 25> testArray2;
TestArray<double, 10> testArray3;
TestArray<int>::Iterator itr;
itr = testArray1.Begin();
for (itr = testArray1.Begin(); itr != testArray1.End(); itr.Next())
{
itr.Get() = itr.Index;
}
testArray2.Copy(testArray1, 0, 10);
for (itr = testArray2.Begin(); itr != testArray2.End(); itr.Next())
{
std::cout << itr.Get() << std::endl;
}
return 0;
}
注意,我有TIterator
使用两个类型参数,即使它在技术上不使用第二个模板参数,只是为了表明它有效。