Ignite项目中Expo CNG工作流的原生文件夹生成问题解析
背景介绍
在使用Ignite框架创建React Native应用时,开发者选择Expo CNG(Configurable Native Generation)工作流时遇到了一个预期与实际行为不符的情况。根据文档描述,选择CNG工作流不应生成原生iOS和Android文件夹,但实际上却生成了这些文件夹,并且运行开发构建时出现了兼容性问题。
问题本质
这个现象实际上不是bug,而是Ignite框架在版本10中的设计决策。Ignite团队为了提升开发体验,在CNG工作流中默认生成了原生文件夹,但将这些文件夹添加到了.gitignore中。这样做的目的是:
- 允许开发者在本地直接运行构建,而不必一开始就构建开发客户端
- 保持项目整洁,避免将生成的原生代码提交到版本控制
- 为开发者提供更灵活的选项,可以根据需要选择工作流
技术细节解析
在Ignite 10版本中,框架不再默认支持Expo Go,这是为了能够集成更多原生功能模块,如MMKV(高性能键值存储)和键盘控制器等。这些模块无法在标准的Expo Go环境中运行,因此需要以下两种方式之一:
- 使用EAS(Expo Application Services)预构建
- 完全弹出(eject)到裸工作流(bare workflow)
解决方案
对于仍希望使用Expo Go的开发者,可以采取以下方法:
-
移除原生文件夹:直接删除生成的ios和android文件夹不会影响项目功能
-
构建开发客户端:通过Expo的dev client功能来获得与Expo Go类似的体验
-
降级使用Ignite 9.x版本:最后一个支持Expo Go开箱即用的版本
-
替换不兼容的依赖:
- 将MMKV替换为react-native-community的async storage
- 重写Screen组件,使用React Native核心的KeyboardAvoidingView替代自定义键盘控制器
最佳实践建议
-
评估项目需求:如果需要使用Expo Go,建议在项目初期就做好技术选型
-
理解工作流差异:CNG工作流提供了更大的灵活性,但也带来了一些复杂性
-
关注版本变化:Ignite 10.x在架构上做了重大调整,开发前应仔细阅读更新日志
-
渐进式采用:可以先使用CNG工作流进行开发,再根据需要决定是否保留原生文件夹
总结
Ignite框架在版本10中对Expo集成策略进行了调整,这是为了支持更多原生功能而做出的权衡。开发者需要根据项目实际需求选择合适的工作流,并理解不同选择带来的技术影响。通过合理配置和依赖管理,可以在保持开发效率的同时获得更好的应用性能。
AutoGLM-Phone-9BAutoGLM-Phone-9B是基于AutoGLM构建的移动智能助手框架,依托多模态感知理解手机屏幕并执行自动化操作。Jinja00
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
GLM-4.6V-FP8GLM-4.6V-FP8是GLM-V系列开源模型,支持128K上下文窗口,融合原生多模态函数调用能力,实现从视觉感知到执行的闭环。具备文档理解、图文生成、前端重构等功能,适用于云集群与本地部署,在同类参数规模中视觉理解性能领先。Jinja00
HunyuanOCRHunyuanOCR 是基于混元原生多模态架构打造的领先端到端 OCR 专家级视觉语言模型。它采用仅 10 亿参数的轻量化设计,在业界多项基准测试中取得了当前最佳性能。该模型不仅精通复杂多语言文档解析,还在文本检测与识别、开放域信息抽取、视频字幕提取及图片翻译等实际应用场景中表现卓越。00
GLM-ASR-Nano-2512GLM-ASR-Nano-2512 是一款稳健的开源语音识别模型,参数规模为 15 亿。该模型专为应对真实场景的复杂性而设计,在保持紧凑体量的同时,多项基准测试表现优于 OpenAI Whisper V3。Python00
GLM-TTSGLM-TTS 是一款基于大语言模型的高质量文本转语音(TTS)合成系统,支持零样本语音克隆和流式推理。该系统采用两阶段架构,结合了用于语音 token 生成的大语言模型(LLM)和用于波形合成的流匹配(Flow Matching)模型。 通过引入多奖励强化学习框架,GLM-TTS 显著提升了合成语音的表现力,相比传统 TTS 系统实现了更自然的情感控制。Python00
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00