ich habe folgenden Code (stark vereinfacht):

typedef boost::function_types::parameter_types<void (int const)>::type parameters;
typedef boost::mpl::at_c<parameters, 0>::type argument;

//...
std::cout << std::booalpha << boost::is_const<argument>::value << std::endl; //auf MSVC9 false, erwartet true
std::cout << typeid(argument).name() << std::endl;                           //auf MSVC9 int erwartet const int

Auf MSVC9 bekomme ich kommentierten Ergebnisse. Ich würde allerdings erwarten, dass is_const 'true' liefert bzw. das typeid 'const int' liefert. Ändere ich die Signatur in void (int const &) bekomme ich wie erwartet das const mitgeliefert (nach Entfernung der Referenz).
Habe ich da irgendwie einen Denkfehler drin? Ist das ein Bug?

Vielleicht optimiert der Compiler das unnötige const einfach weg, wenn es sich nicht um eine Referenz/einen Pointer handelt.

Dann würde folgendes compilierbar sein:

void f(int const a)
{
   a = 10;
}

ist es aber, wie erwartet, nicht.

top-level cv-Qualifikationen eines Funktionsparameters sind niemals Teil des Funktionstyps (8.3.5/5).

Wo liest Du das denn raus?

ISO/IEC 14882:2003 8.3.5/5 schrieb:

[Example: the declaration
int fseek(FILE*, long, int);
declares a function taking three arguments of the specified types, and returning int (7.1.5). ]

Es dürfte 8.3.5/3 gemeint sein.

Wer lesen kann (ich anscheinend nicht) ist klar im Vorteil.