Функция шаблона члена Int внутри класса шаблона

Question

Повторяющийся вопрос о this.

У меня есть класс, как это:

template <class T> 
class foo { 
public:   

    foo(){} 

    template <int S> 
    void bar(){} 

} 

Если этот класс вызывается с:

int main(){ 
    foo<float> m; 
    m.bar<1>(); 
} 

Это дает ошибку:

error: expected primary-expression before ')' token

устаревшее снова:

Мой код:

#define BOOST_TEST_DYN_LINK 
#define BOOST_TEST_MAIN 

#include <boost/mpl/list.hpp> 
#include <boost/test/unit_test.hpp> 
#include <boost/test/test_case_template.hpp> 
using namespace boost::unit_test; 

#include "foo.hpp" 

BOOST_AUTO_TEST_SUITE(); 

typedef boost::mpl::list<char, int> test_types; 

BOOST_AUTO_TEST_CASE_TEMPLATE(test_Mat_constructor_hwd, T, test_types){ 

    foo<T> m; 
    m.bar<1>(); 
} 

BOOST_AUTO_TEST_SUITE_END() 

Это, однако, не компилируется как BOOST_AUTO_TEST_CASE_TEMPLATE делает что-то странное ...

После текста осуждается:

Однако, когда я вызываю функцию с:

foo f; 
f.bar<1>(); 

Я получаю сообщение об ошибке:

A bound member function may only be called

Если я, однако, повернул функцию бара в нечто вроде void bar1() {return bar < 1>();}, это сработает. Я знаю, если T не известно во время компиляции, он не будет компилироваться. Но я не знаю, почему компилятор недостаточно умен, чтобы понять, что 1 в f.bar < 1> является статическим?

спасибо!

Answer 1

Поскольку T аргумент неизвестен при анализе функции тестирования, компилятор не в состоянии определить, что такое выражение m.bar, и поэтому предполагает, что это не шаблонная переменная. m.bar<1>() обрабатывается как (m.bar<1)>(), последний бит является незаконным. Исправление заключается в том, что Явно утверждать bar шаблон:

foo<T> m; 
m.template bar<1>(); 

Answer 2

вам нужно сделать функции членов общественности, если вы хотите, чтобы называть их внешне, это прекрасно работает на моем компиляторе

class foo { 
public: 
    foo(){} 

    template <int T> 
    void bar(){} 
}; 

int main(){ 
    foo f; 
    f.bar<1>(); 
}