要获取WooCommerce中用户的总消费金额，您可以使用以下代码片段来实现：

$user_id = get_current_user_id(); // 获取当前用户的ID

// 使用WooCommerce函数获取用户的订单总额
$total_spent = wc_get_customer_total_spent($user_id);

// 输出用户的总消费金额
echo '用户总消费金额：' . wc_price($total_spent);

这段代码首先获取当前用户的ID，然后使用WooCommerce函数wc_get_customer_total_spent来获取该用户的总消费金额。最后，它使用wc_price函数将金额格式化为货币形式并进行显示。

请确保在WordPress主题的适当位置（例如，用户的个人资料页面）使用此代码来显示用户的总消费金额。