ユーザ定義のリテラルは引数として関数を持つことができますか？

Question

関数をユーザー定義リテラルで使用できますか？

もしそうなら、何ができますか？これは合法ですか？

void operator "" _bar(int (*func)(int)) { 
    func(1); 
} 

int foo(int x) { 
    std::cout << x << std::endl; 
} 

int main() { 
    foo(0); // print 0 
    foo_bar; // print 1 
} 

Answer 1

はC++ 2011年2月11日ドラフト§2.14.8によれば、ユーザリテラルのタイプは、文字列リテラル、文字リテラル - リテラル浮動、整数リテラルです。関数リテラル型を行う方法はありません。

ユーザ定義リテラルがリテラルオペレータ又は リテラルオペレータテンプレート（13.5.8）へのコールとして扱われます。 ud-接尾辞Xのある特定のユーザー定義リテラルLのこのコールの形式を確認するには、リテラル接尾辞の識別子がXの リテラル演算子IDを、Lのコンテキストで照合して、修飾されていない名前ルックアップ （3.4.1）。このルックアップによって見つかった宣言の集合をSとする。 S は空であってはならない。

整数：

operator "" X (n ULL) 
operator "" X ("n") 
operator "" X <’c1’, ’c2’, ... ’ck’>() 

はフローティング：

operator "" X (f L) 
operator "" X ("f") 
operator "" X <’c1’, ’c2’, ... ’ck’>() 

文字列：

operator "" X (str, len) 
operator "" X <’c1’, ’c2’, ... ’ck’>() //unoffcial, a rumored GCC extension 

文字：

operator "" X (ch) 

Answer 2

foo_barを見てください。それは単なる字句トークンです。それはfoo_barという名前の単一の識別子として解釈され、fooの末尾には_barが付いていません。それはあなたの例では、その使用直前に定義されていなかった場合は、シンボルfoo_barはは理解することは非常に困難であるので、

Answer 3

号

C++は、意図的に、このようなペテンを回避することができます。

プリプロセッサと同様の処理を行うことができます。

#define bar (1) 

int foo(int x) { 
    std::cout << x << std::endl; 
} 

int main() { 
    foo(0); // print 0 
    foo bar; // print 1 
} 

Answer 4

これは何かを追加しますが、

PythonScript operator"" _python(const char*, std::size_t len) {...} 

R"Py(
    print "Hello, World" 
)Py"_python; 

を定義するからあなたを妨げるものは何も私は実際には、ユーザー定義リテラルはスクリプトやSQLを埋め込むための良い方法になるだろうと思うがない場合、私は知りません。