用户定义的文字可以将函数作为参数吗？

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++11 Feb 2011 Draft § 2.14.8，用户文字类型为整型文字、浮点文字、字符串文字和字符文字。没有办法实现函数字面量类型。

用户定义的文字被视为对文字运算符的调用或
文字运算符模板 (13.5.8)。确定本次调用的形式
对于给定的带有 ud 后缀 X 的用户定义文字 L，
查找文字后缀标识符为 X 的literal-operator-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 的单个标识符，而不是带有 _bar 后缀的 foo。

Answer 3

不会

。C++ 有意避免这种恶作剧，因为如果符号 foo_bar 在您的示例中使用之前没有立即定义，那么它会很难理解。

您可以使用预处理器实现类似的效果。

#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 的好方法。