Доброго дня.

Вот такая ситуация:

В приведённом коде класс A, принимает в качестве шаблонного параметра нечто, у чего есть член Count





В результате компиляции получаю ошибку error C2244: 'A<T>::SomeMethod' : unable to match function definition to an existing declaration.

У меня есть предположение, что происходит конфликт между объявлением шаблона  и тем шаблонным параметром, который явно передаётся в A< > в месте, где описана реализация метода. Но как это обойти?? И в этом ли причина??

Это сообщение отредактировал(а) ANTON_AL - 17.9.2007, 16:45

глянь в MSDN описание этой ошибки.
Решается просто

ANTON_AL, 
какой компилятор?
GCC 4.1.2 компилирует нормально

кстати помоему ты чего-то нето тут придумал

MAKCim
    Я под VisualStudio.


Fazil6, 
   кстати помоему ты чего-то нето тут придумал
Это необходимость. На вход нужно ожидать массив только такого размера, как в T::Count

ну если тока Count объявлен как static

Fazil6, 
или enum   

Судя по объявлению T::Count он только и может быть enum или static...
Хотя... еще, конечно может быть типом или методом...  

Только вот насчет необходимости... Что-то я сомневаюсь, что таким образом ты пресечешь попытку вызвать SomeMethod с адресом массива, где два элемента. Или 5. В общем, любым. Это все же С, не забывай. В гробу он видал размеры встроенных массивов.
Тогда уж объяви встроенный тип typedef int*[T::Count] CFrames; 
Да и то, не уверена, что поможет.
В любом случае, как-то это дурно пахнет.

Earnest, 
   как-то это дурно пахнет.

Эх. . .Пахло бы очень хорошо, если б я мог пресечь ( раньше почему то  думал, что мог ).

Ну тогда от этой затеи придётся отказаться, а сделать просто **ppArray.

Странно, а какой вообще тогда смысл в таких параметрах . . .

. . .если они не на что не влияют.

Это, получается эквивалентно такому



Но всёравно от первого метода есть польза: раз уж он что то и не пресекает, зато он обеспечивает наглядность в коде, и, хотелось бы всётаки как-то оставить такое объявление. Придётся поломать голову. . .

Fazil6
   Решается просто
Да, но, боюсь представить себе границы объявления класса   

  
Earnest, Ты, оказывается, женщина . . . Уже второе моё заблуждение за сегодня.  

Это сообщение отредактировал(а) ANTON_AL - 17.9.2007, 18:42

Так просто оказалось:

Это указание программисту, что функция ожидает массив именно такой длины. Компилятор, правда, проглотит все подряд

делайте как ссылку на массив и ничего компиллятор глотать не будет.

1. Если надо передать именно указатель - надо делать страшный каст. 
2. В С нет ссылок (только в С++)

а шаблоны есть?   
Это я к названию темы, если что...

Мне кажется, тут не стоит быть святее папы римского. В C++ при желании можно обойти любые ограничения. Главное - явно обозначить намерения. Сделать это можно хоть таким кодом (с явным указанием размера), хоть комментарием... я бы ограничилась комментарием. А в функции устроить дополнительную проверку - что память по переданному указателю не меньше предполагаемой.