Указанный параметр шаблона на конструктору

Question

Вот мой код:

class test{ 
    public: 
    template<int B> 
    test(const char(&a)[B]){ 
     std::cout<<B<<std::endl; 
    } 
}; 
int main(int argc, char** argv) { 


    test t("test"); 
    return 0; 
} 

выход:

5 

Я делал некоторые исследования и пришли на этот код. Он будет подсчитывать количество символов (-1 для точного). Я задаюсь вопросом о цели указанного int B. внутри параметра шаблона, это сработает, если у меня есть что-то вроде:

class test{ 
public: 
template<char B> 
test(){ 

} 
}; 
int main(int argc, char** argv) { 


    test t(); //error, how to make it work? 

    return 0; 
} 

Мои вопросы:

С первого примера, как же это точно подсчитать количество символов? Какова цель указания типа внутри конструктора шаблона, как из моего примера номер 2, как заставить его работать, если у меня есть тип char? (я получаю сообщение об ошибке при попытке скомпилировать)

Answer 1

В вашем первом примере "test" можно назвать const char s[5] = "test". Оттуда шаблон можно построить как const char(&a)[5], но так как B используется для определения шаблона, «5» захватывается как значение B.

Вы второй пример/вопрос не ясен.

Answer 2

Строковые литералы в C++ имеют типы постоянных массивов символов. Таким образом, строковый литерал "test" имеет тип const char[5] (строковые литералы включают завершающий нуль). Таким образом, в первой программе компилятор может определить аргумент шаблона, потому что массив (строковый литерал) передается по ссылке.

Во второй программе эта декларация

test t(); 

является декларацией функции, которая имеет тип возвращаемого test и не имеет параметров.

Если вы хотите, чтобы объявить объект испытания класса во второй программе вы можете написать программу для примера следующим образом

class test{ 
public: 
template<char B = 'A'> 
test(){ 

} 
}; 
int main(int argc, char** argv) { 


    test t; 

    return 0; 
}