- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
在我的真实世界应用程序中,我使用 CRTP 来构造一个或多或少的大类“堆栈”。我需要知道这些类的“共同基础”是什么,所以我在“堆栈”的其中一个类中定义了一个 type
和 using
。后来我不想将这个定义的类型用作模板函数参数,但这行不通,我总是遇到“无法使用 g++ 推导模板参数‘VAR_TYPE’”。
有没有机会解决这个问题,因为不建议手动定义类型,因为如果我的“类堆栈”的结构发生变化,它应该可以自动更改。
template < typename T> struct B { using HERE = B<T>; };
template < typename T> struct C: public B<T> { };
template <typename T>
using COMMON_BASE = typename C<T>::HERE;
template < typename T>
void Print2( )
{
std::cout << __PRETTY_FUNCTION__ << std::endl;
}
// g++ reports:
// error: no matching function for call to 'CheckMe(COMMON_BASE<int>*&)'
// note: candidate: 'template<class VAR_TYPE> void CheckMe(COMMON_BASE<VAR_TYPE>*)'
// note: template argument deduction/substitution failed:
// note: couldn't deduce template parameter 'VAR_TYPE'
template < typename VAR_TYPE >
void CheckMe( COMMON_BASE<VAR_TYPE>* ) { std::cout << "COMMON_BASE<>" << std::endl; }
// "hardcoded" works fine but should be avoided
//template < typename VAR_TYPE >
//void CheckMe( B<VAR_TYPE>* ) { std::cout << "B<>" << std::endl; }
void CheckMe( int* ) { std::cout << "int" << std::endl; }
//void CheckMe( ... ){ std::cout << "default" << std::endl; }
int main()
{
COMMON_BASE< int >* cb;
B<int>* bi;
CheckMe( cb );
CheckMe( bi );
Print2< COMMON_BASE<int>* >(); // gives: void Print2() [with T = B<int>*]
}
最佳答案
可悲的是,模板参数推导只适用于直接上下文,否则是不合逻辑的。想想这个例子:
template<typename T>
using common_base = std::conditional<(sizeof(T) > 8), int, float>
template<typename T>
void call_me(common_base<T>) {
// ...
}
int main() {
call_me(1.4f); // What is T?
}
这看起来很明显,但这也是您的示例所发生的情况。你可以这样想象:
// Ah! Fooled you compiler!
template<> struct B<int> { using HERE = B<std::string>; };
那么在这之后,这些调用应该推导出什么?
CheckMe(bi); // should deduce B<int> or B<std::string>?
如您所见,编译器无法通过非直接上下文进行推导,因为可能不存在 1:1 关系,有时甚至无法推导。
那你该怎么办?
简化模板函数是使其工作的常用方法:
template<typename T>
struct B {
using HERE = B<T>;
using type = T;
};
template<typename BaseType>
void CheckMe(BaseType* bt) {
using VAR_TYPE = BaseType::type; // yay, can use member type
}
关于c++ - 使用 using 定义的类型不能用作函数参数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/58433968/
我有以下查询: SELECT I.InsuranceID FROM Insurance I INNER JOIN JobDetail JD ON I.AccountID = JD.AccountID
我想在 SwiftUI 布局中将此函数用作具有不可变值的模板,但得到错误 Result of call to 'padding' 未使用: func keys (padding: CGFloat, t
直到最近我才使用 View 的标签元素,此后发现了一些很酷的用途。我遇到了一个不寻常的问题,希望有人能回答。这可能比 Android 更通用,但我不确定。它与 Java 如何处理 Integer 类有
这个问题在这里已经有了答案: What is the purpose of the var keyword and when should I use it (or omit it)? (19 个回
我有以下脚本(见下文)。我有两个问题: 1.在 Knockoutjs 的上下文中,下面这行是什么意思? ko.observable(null); 2.如何调用这里尚未定义的函数: that.activ
Java 社区中是否存在一种使用 with-repect-to 在方法中使用多个返回的思想流派,如下所示: public SomeClass someMethod(int someValue) {
我一直在尝试为我的网站创建一个小型社交媒体栏。出于某种原因,我无法计算出我想用来创建 Sprite 的图像无法加载。我还应该提一下,我在背景图像不显示方面遇到过类似的问题。 HTML调用是这样的:
我正在尝试使用 std::pair 枚举值作为 unordered_map 容器的键,但我在定义自定义哈希函数时遇到困难。 我尝试了以下方法: // Enum and pair declaration
我正在学习 JS/JQuery 以及匿名函数和闭包。我见过这样的例子: $('.button').click(function(){ /* Animations */ /* Other
我正在尝试使用菜单列表来浏览我的应用程序。尽管应用程序和路由运行良好,但我使用这段代码在控制台中收到了一些警告: {props.itemList.map((item, index) =>(
我只是想创建一个简单的测试,我在其中使用 DelegateHandlers 来实例化一个 HttpClient 而无需引入 Asp.net Core 包。我有 2 个删除处理程序 Throttling
我是answering another question在这里,用户有一个 ListView与 ItemsSource包含 UserControls .我说我不会推荐它,并被问为什么。 这真的让我很惊
我安装了3.5.2和 3.5.3使用 pyenv 的版本。 # pyenv versions * system (set by /usr/local/pyenv/version) 3.5.2
我正在使用 android studio 制作统一插件,但这里有问题。一些 SDK 提供仅使用 AppcompatActivity 来制作 fragment 但我的MainActivity , 正是
我在 Laravel 中使用 whereHas 来构建查询: })->whereHas('results', function ($query) use ($issued, $mode, $reque
我有一个 5Gb .dat 文件(> 1000 万行)。每行的格式如 aaaa bb cccc0123 xxx kkkkkkkkkkkkkk或 aaaaabbbcccc01234xxxkkkkkkkk
我有一个消费者类,它采用 NSInputStream 作为参数,它将被异步处理,并且我想推送来自生产者类的数据,该生产者类要求它提供 NSOutputStream 作为其输出源。现在我如何设置一个缓冲
我正在尝试使用 ENVs在 Symfony2 中设置我的参数。标量值很简单,但我有一些参数是数组,我需要使用 ENV 以某种方式设置它们。 有问题的参数: parameters: redis.se
在我的类作业中,我已经成功地做到了这一点,但只是在非常简单的程序中。今天,我有一个更复杂的程序,在我将 DEBUG 定义为一个符号后,Eclipse 做了可怕的笨拙的事情,并且在我删除定义后这些可怕的
我目前有 2 个复选框类别、一个下拉列表和一个表单中的提交按钮。该按钮应保持“禁用”状态,直到选中 A 类的一个复选框和选中 B 类选项之一并选择选择列表中的一个选项。它适用于复选框(当我在没有列表的
我是一名优秀的程序员,十分优秀!