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

Question

Следующего кода

#include <functional> 
#include <iostream> 

using namespace std; 

struct TestStruct { 
    int c; 
}; 

int f(int a, int b, const TestStruct **t) { return a + b + (*t)->c; } 

void main() { 

    TestStruct *t; 
    bind(&f, 1, 2, &t)(); 
} 

сообщает об этой ошибке

error C2893: Failed to specialize function template 'unknown-type std::invoke(_Callable &&,_Types &&...)' 
note: With the following template arguments: 
note: '_Callable=int (__cdecl *&)(int,int,const TestStruct **)' 
note: '_Types={int &, int &, TestStruct **&}' 

кажется, что проблема является константностью в const TestStruct** паров. Однако нет проблем ни с const TestStruct *, ни с TestStruct**. Зачем ?

Answer 1

Ваша проблема не связана с самообучением boost, а от простого факта, что литье T** в T const** является незаконным.

см. http://c-faq.com/ansi/constmismatch.html для объяснения почему.